diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index b3cb335f0fd66caa9f4d2167719f04afbd62e53f..2df01e54b1631c95093e47581045eb01816bb029 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -123,7 +123,7 @@ stdenvNoCC.mkDerivation rec {
     mkdir home
     HOME=$(pwd)/home
     why3 config detect
-    export FRAMAC_WP_CACHE=replay
+    export FRAMAC_WP_CACHE=offline
     export FRAMAC_WP_CACHEDIR=$wp_cache
   '';
 
diff --git a/nix/mk_plugin.nix b/nix/mk_plugin.nix
index 78f8bb9e600bedb6df9102ed0c762bc8a65bea0a..c5280b67f10b90d63d1230e1fb55aefbc930da6f 100644
--- a/nix/mk_plugin.nix
+++ b/nix/mk_plugin.nix
@@ -100,7 +100,7 @@ stdenv.mkDerivation {
     mkdir home
     HOME=$(pwd)/home
     why3 config detect
-    export FRAMAC_WP_CACHE=replay
+    export FRAMAC_WP_CACHE=offline
     export FRAMAC_WP_CACHEDIR=$wp_cache
     ''
   else "") ;
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index b1b111238837785a4e0d3d3fe4abceb2ddcea893..4241026860bcff77cdc51a27b028e3a258de6257 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -70,7 +70,7 @@ stdenvNoCC.mkDerivation {
         mkdir home
         HOME=$(pwd)/home
         why3 config detect
-        export FRAMAC_WP_CACHE=replay
+        export FRAMAC_WP_CACHE=offline
         export FRAMAC_WP_CACHEDIR=$wp_cache
       ''
     else "" ;