From 8c9bd3e76519d86e66a7ca02e23a601cab109721 Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Wed, 28 Feb 2024 15:53:19 +0100 Subject: [PATCH] Make ignore_deps_contracts a "category B" flag --- prusti-launch/src/bin/cargo-prusti.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prusti-launch/src/bin/cargo-prusti.rs b/prusti-launch/src/bin/cargo-prusti.rs index d3ebce4ea57..db1a4a79331 100644 --- 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")