Disable "big search path" test.

panglesd · jonludlam · commit 442c7dd2e787 · 2024-07-15T18:33:23.000+01:00
Was too brittle: too many false positive in CI

Signed-off-by: Paul-Elliot &lt;peada@free.fr&gt;
diff --git a/test/xref2/big_search_path.t/run.t b/test/xref2/big_search_path.t/run.t
@@ -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
diff --git a/test/xref2/dune b/test/xref2/dune
@@ -60,3 +60,10 @@
  (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))
