From 235d6ea6681435670aff2bdb3c4bdeaae741cad0 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 12 Jul 2022 14:34:30 +0200
Subject: [PATCH] [ci] make sure to always enable tests

---
 nix/default-config-tests.nix | 2 +-
 nix/e-acsl-tests.nix         | 2 +-
 nix/eva-tests.nix            | 2 +-
 nix/full-tests.nix           | 2 +-
 nix/internal-tests.nix       | 2 +-
 nix/kernel-tests.nix         | 2 +-
 nix/mk_tests.nix             | 2 +-
 nix/plugins-tests.nix        | 2 +-
 nix/src-distrib-tests.nix    | 2 +-
 nix/wp-tests.nix             | 2 +-
 10 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/nix/default-config-tests.nix b/nix/default-config-tests.nix
index 5ba96c479ab..04f0b1bdb3d 100644
--- a/nix/default-config-tests.nix
+++ b/nix/default-config-tests.nix
@@ -3,7 +3,7 @@
 mk_tests {
   tests-name = "default-config-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests src/plugins/*/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
     dune build -j1 --display short @ptests_config
   '';
 }
diff --git a/nix/e-acsl-tests.nix b/nix/e-acsl-tests.nix
index 7128d8d4a33..79c82e91a45 100644
--- a/nix/e-acsl-tests.nix
+++ b/nix/e-acsl-tests.nix
@@ -3,7 +3,7 @@
 mk_tests {
   tests-name = "e-acsl-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests src/plugins/e-acsl/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/e-acsl/tests
     dune build -j1 --display short @src/plugins/e-acsl/tests/ptests
   '';
 }
diff --git a/nix/eva-tests.nix b/nix/eva-tests.nix
index 41a12edd7b5..9ee64693138 100644
--- a/nix/eva-tests.nix
+++ b/nix/eva-tests.nix
@@ -10,6 +10,6 @@ let tvalue = " @tests/value/" + ptests ; in
 mk_tests {
   tests-name = eva-tests ;
   tests-command = ''
-    dune exec -- frama-c-ptests tests
+    dune exec -- frama-c-ptests -never-disabled tests
     dune build -j1 --display short'' + tbuiltins + tfloat + tidct + tvalue + "\n" ;
 }
diff --git a/nix/full-tests.nix b/nix/full-tests.nix
index 511d04ce19e..670aebbadc8 100644
--- a/nix/full-tests.nix
+++ b/nix/full-tests.nix
@@ -5,7 +5,7 @@
 mk_tests {
   tests-name = "full-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests src/plugins/*/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
     dune build @ptests
   '';
   has-wp-proofs = true ;
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 637d1b86b89..46f974137fc 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -129,7 +129,7 @@ stdenvNoCC.mkDerivation rec {
 
   checkPhase = ''
     runHook preCheck
-    dune exec -- frama-c-ptests tests src/plugins/*/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
     dune build -j1 --display short @ptests_config
   '';
 
diff --git a/nix/kernel-tests.nix b/nix/kernel-tests.nix
index 03b05e9c2ab..4b99a89ceca 100644
--- a/nix/kernel-tests.nix
+++ b/nix/kernel-tests.nix
@@ -3,7 +3,7 @@
 mk_tests {
   tests-name = "kernel-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests
+    dune exec -- frama-c-ptests -never-disabled tests
     dune build -j1 --display short \
       @tests/cil/ptests \
       @tests/compliance/ptests \
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index 4241026860b..42f7f396a65 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -8,7 +8,7 @@
 # - tests-command (mandatory):
 #   The tests command to execute, generally something like:
 #   ''
-#     dune exec -- frama-c-ptests tests src/plugins/e-acsl/tests
+#     dune exec -- frama-c-ptests -never-disabled tests src/plugins/e-acsl/tests
 #     dune build -j1 --display short @src/plugins/e-acsl/tests/ptests
 #   ''
 #
diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index 6a051fe20ed..cbbeb33d9d2 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -3,7 +3,7 @@
 mk_tests {
   tests-name = "plugins-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests src/plugins/*/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
     dune build -j1 --display short \
       @tests/callgraph/ptests \
       @tests/constant_propagation/ptests \
diff --git a/nix/src-distrib-tests.nix b/nix/src-distrib-tests.nix
index c1a52472721..6655a194c4c 100644
--- a/nix/src-distrib-tests.nix
+++ b/nix/src-distrib-tests.nix
@@ -6,7 +6,7 @@ let mk_tests_distrib = mk_tests.override {
 mk_tests_distrib {
   tests-name = "src-distrib-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests tests src/plugins/*/tests
+    dune exec -- frama-c-ptests -never-disabled tests src/plugins/*/tests
     dune build -j1 --display short @ptests_config
   '';
 }
diff --git a/nix/wp-tests.nix b/nix/wp-tests.nix
index c431e8fe807..86c9114a8aa 100644
--- a/nix/wp-tests.nix
+++ b/nix/wp-tests.nix
@@ -3,7 +3,7 @@
 mk_tests {
   tests-name = "wp-tests";
   tests-command = ''
-    dune exec -- frama-c-ptests src/plugins/wp/tests
+    dune exec -- frama-c-ptests -never-disabled src/plugins/wp/tests
     dune build -j1 --display short @src/plugins/wp/tests/ptests
   '';
   has-wp-proofs = true ;
-- 
GitLab