Revert "Update default.nix with why3 config"

This reverts commit fe28f2bd.

Revert "Update default.nix with why3 config"
e978b62e · Loïc Correnson · Virgile Prevosto · 983cd88e · e978b62e
Commit e978b62e authored 4 years ago by Loïc Correnson Committed by Virgile Prevosto 3 years ago
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -19,6 +19,6 @@ plugins.helpers.simple_plugin
     preFramaCTests = ''
       echo CONFIGURING Why3 for Frama_Clang.
       export HOME=$(mktemp -d)
-       why3 config --detect
+       why3 config --full-config
     '';
   }