diff --git a/nix/default-config-tests.nix b/nix/default-config-tests.nix
index 5ba96c479ab83caf4cfae47b0318d0e517544c78..04f0b1bdb3dd8fc6492d23338b6dc90b1d706ba3 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 7128d8d4a33a0b740c9fc78be436b4db41c10ae5..79c82e91a45bce3690396b3a3883d6e4d01aa832 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 41a12edd7b5734107ed0b9e29af3ea6f060fe618..9ee646931383a5b861e0bec28a5ac7e3c869ffcf 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 511d04ce19ef5fc2bff7198e2e1e4f8b7d19397a..670aebbadc892b8fbd7ba674bfab64ec8f01618d 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 637d1b86b89fec34f929dc779ab58b141a836cb9..46f974137fc5bf1bb35de1fa2129e98979376e2e 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 03b05e9c2ab553a727c28a2e1badb52b57b21e7d..4b99a89ceca490cf47203fd76143a79885ff10a2 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 4241026860bcff77cdc51a27b028e3a258de6257..42f7f396a65cdd2d1f48be36b34d858594f0f4d8 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 6a051fe20ed3ba227b800ac941733c932e9c505e..cbbeb33d9d2fb3eb6dc8438d4cc9d0e746720061 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 c1a52472721dbaded752b7007d2cd94ddef5943d..6655a194c4c6f36aad1c92c81b8da5b2791ca13d 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 c431e8fe8072f253db36402f1c2888d5ff6b2186..86c9114a8aab2a2c645179f2b400b6db89b8b9ed 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 ;