Ugly commit 26.11.

viperproject · Jun 23, 2023 · 13e2747 · 13e2747
1 parent 76b4fad
commit 13e2747
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/prusti-tests/tests/compiletest.rs b/prusti-tests/tests/compiletest.rs
@@ -197,6 +197,11 @@ fn test_runner(_tests: &[&()]) {
     run_verification_overflow("verify_overflow", &filter);
     save_verification_cache();
 
+    // Test the verifier with overflow checks enabled.
+    println!("[verify_overflow]");
+    run_verification_overflow("verify_overflow_core_proof", &filter);
+    save_verification_cache();
+
     // Test the verifier with test cases that only partially verify due to known open issues.
     // The purpose of these tests is two-fold: 1. these tests help prevent potential further
     // regressions, because the tests also test code paths not covered by other tests; and