From 50e90862ec0e74fc9fb2506a53a9eb9376b237f0 Mon Sep 17 00:00:00 2001 From: xvw Date: Tue, 24 Sep 2024 17:34:32 +0200 Subject: [PATCH] Move search-test in a dedicated folder (to be discarded for Windows) --- tests/test-dirs/search/dune | 4 ++++ .../polarity-search-comparison-to-search-by-type.t | 0 .../search-by-type-comparison-to-polarity-search.t | 0 tests/test-dirs/{ => search}/search-by-type.t/context.ml | 0 tests/test-dirs/{ => search}/search-by-type.t/run.t | 0 5 files changed, 4 insertions(+) create mode 100644 tests/test-dirs/search/dune rename tests/test-dirs/{ => search}/polarity-search-comparison-to-search-by-type.t (100%) rename tests/test-dirs/{ => search}/search-by-type-comparison-to-polarity-search.t (100%) rename tests/test-dirs/{ => search}/search-by-type.t/context.ml (100%) rename tests/test-dirs/{ => search}/search-by-type.t/run.t (100%) diff --git a/tests/test-dirs/search/dune b/tests/test-dirs/search/dune new file mode 100644 index 000000000..94800b26f --- /dev/null +++ b/tests/test-dirs/search/dune @@ -0,0 +1,4 @@ +(cram + (applies_to :whole_subtree) + (enabled_if + (<> %{os_type} Win32))) diff --git a/tests/test-dirs/polarity-search-comparison-to-search-by-type.t b/tests/test-dirs/search/polarity-search-comparison-to-search-by-type.t similarity index 100% rename from tests/test-dirs/polarity-search-comparison-to-search-by-type.t rename to tests/test-dirs/search/polarity-search-comparison-to-search-by-type.t diff --git a/tests/test-dirs/search-by-type-comparison-to-polarity-search.t b/tests/test-dirs/search/search-by-type-comparison-to-polarity-search.t similarity index 100% rename from tests/test-dirs/search-by-type-comparison-to-polarity-search.t rename to tests/test-dirs/search/search-by-type-comparison-to-polarity-search.t diff --git a/tests/test-dirs/search-by-type.t/context.ml b/tests/test-dirs/search/search-by-type.t/context.ml similarity index 100% rename from tests/test-dirs/search-by-type.t/context.ml rename to tests/test-dirs/search/search-by-type.t/context.ml diff --git a/tests/test-dirs/search-by-type.t/run.t b/tests/test-dirs/search/search-by-type.t/run.t similarity index 100% rename from tests/test-dirs/search-by-type.t/run.t rename to tests/test-dirs/search/search-by-type.t/run.t