Ugly commit.

viperproject · Jan 27, 2023 · 87152d6 · 87152d6
1 parent b5f391a
commit 87152d6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prusti-utils/src/config.rs b/prusti-utils/src/config.rs
@@ -516,7 +516,7 @@ pub fn check_timeout() -> Option<u32> {
 pub fn use_more_complete_exhale() -> bool {
     let result = read_setting("use_more_complete_exhale");
     assert!(
-        result != read_setting::<bool>("use_carbon_qps"),
+        !(result && read_setting::<bool>("use_carbon_qps")),
         "use_more_complete_exhale and use_carbon_qps are mutually exclusive"
     );
     result
@@ -529,7 +529,7 @@ pub fn use_more_complete_exhale() -> bool {
 pub fn use_carbon_qps() -> bool {
     let result = read_setting("use_carbon_qps");
     assert!(
-        result != read_setting::<bool>("use_more_complete_exhale"),
+        !(result && read_setting::<bool>("use_more_complete_exhale")),
         "use_more_complete_exhale and use_carbon_qps are mutually exclusive"
     );
     result