Make ignore_deps_contracts a "category B" flag (#1498)

viperproject · Feb 28, 2024 · 2d14265 · 2d14265
1 parent f94b7fa
commit 2d14265
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/prusti-launch/src/bin/cargo-prusti.rs b/prusti-launch/src/bin/cargo-prusti.rs
@@ -58,6 +58,10 @@ where
             "PRUSTI_NO_VERIFY_DEPS",
             config::no_verify_deps().to_string(),
         )
+        .env(
+            "PRUSTI_IGNORE_DEPS_CONTRACTS",
+            config::ignore_deps_contracts().to_string(),
+        )
         // Category A* flags:
         .env("DEFAULT_PRUSTI_QUIET", "true")
         .env("DEFAULT_PRUSTI_FULL_COMPILATION", "true")