Disable dangerous flag

viperproject · Oct 20, 2023 · b70868c · b70868c
1 parent c8bdd89
commit b70868c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-utils/src/config.rs b/prusti-utils/src/config.rs
@@ -80,7 +80,7 @@ lazy_static::lazy_static! {
         settings.set_default("check_foldunfold_state", false).unwrap();
         settings.set_default("check_overflows", true).unwrap();
         settings.set_default("check_panics", true).unwrap();
-        settings.set_default("encode_unsigned_num_constraint", true).unwrap();
+        settings.set_default("encode_unsigned_num_constraint", false).unwrap();
         settings.set_default("encode_bitvectors", false).unwrap();
         settings.set_default("simplify_encoding", true).unwrap();
         settings.set_default("log", "").unwrap();