From e7f34f99d10fe3c5476fb1e1b4fd320bc4d00a2e Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Wed, 17 Jan 2024 14:10:49 +0100 Subject: [PATCH] Disable the "more complete" exhale --- prusti-utils/src/config.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prusti-utils/src/config.rs b/prusti-utils/src/config.rs index fe1528d1e0c..1eaf054d9ec 100644 --- a/prusti-utils/src/config.rs +++ b/prusti-utils/src/config.rs @@ -103,7 +103,7 @@ lazy_static::lazy_static! { settings.set_default("quiet", false).unwrap(); settings.set_default("assert_timeout", 10_000).unwrap(); settings.set_default("smt_qi_eager_threshold", 1000).unwrap(); - settings.set_default("use_more_complete_exhale", true).unwrap(); + settings.set_default("use_more_complete_exhale", false).unwrap(); settings.set_default("skip_unsupported_features", false).unwrap(); settings.set_default("internal_errors_as_warnings", false).unwrap(); settings.set_default("allow_unreachable_unsupported_code", false).unwrap();