From 442c7dd2e7870d920968710dd8cfd1d28016b9cc Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Mon, 15 Jul 2024 16:15:33 +0200 Subject: [PATCH] Disable "big search path" test. Was too brittle: too many false positive in CI Signed-off-by: Paul-Elliot --- test/xref2/big_search_path.t/run.t | 5 ++++- test/xref2/dune | 7 +++++++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/test/xref2/big_search_path.t/run.t b/test/xref2/big_search_path.t/run.t index 605ab8168b..211c00f4c9 100644 --- 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 index 2a08c364ae..5d75e10539 100644 --- 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))