Skip to content

Commit

Permalink
Disable "big search path" test.
Browse files Browse the repository at this point in the history
Was too brittle: too many false positive in CI

Signed-off-by: Paul-Elliot <[email protected]>
  • Loading branch information
panglesd committed Jul 15, 2024
1 parent 13200ed commit d90d5aa
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 1 deletion.
5 changes: 4 additions & 1 deletion test/xref2/big_search_path.t/run.t
Original file line number Diff line number Diff line change
@@ -1,8 +1,11 @@
WARNING: DISABLED in the dune file.
Was too brittle (it had too many false positive in CI.). Kept for reference
until the test is integrated in a benchmark. (TODO)

Testing our timeout (timeout is not available on mac):

$ ./timeout.sh 0.01 "sleep 2" 2> /dev/null


We create a lot of directories

$ i=1
Expand Down
6 changes: 6 additions & 0 deletions test/xref2/dune
Original file line number Diff line number Diff line change
Expand Up @@ -60,3 +60,9 @@
(applies_to lookup_def shadow3 to_remove_test)
(enabled_if
(>= %{ocaml_version} 4.14.0)))

; Disable the big_search_path test, as it had too many false positive in CI.
; Kept for reference until the test is integrated in a benchmark. (TODO)
(cram
(applies_to big_search_path)
(enabled_if false))

0 comments on commit d90d5aa

Please sign in to comment.