benchcomp test with verbosity

model-checking · Jun 19, 2024 · a55167a · a55167a
1 parent 7dd43d8
commit a55167a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tools/benchcomp/test/test_regression.py b/tools/benchcomp/test/test_regression.py
@@ -56,7 +56,8 @@ def test_kani_perf_fail(self):
         cmd = (
             "rm -rf build target &&"
             "mkdir -p build/tests/perf/Unwind-Attribute/expected &&"
-            "kani tests/kani/Unwind-Attribute/fixme_lib.rs > "
+            "kani tests/kani/Unwind-Attribute/fixme_lib.rs "
+            "--enable-unstable --cbmc-args --verbosity 9 > "
             "build/tests/perf/Unwind-Attribute/expected/expected.out"
         )
         self._run_kani_perf_test(cmd, False)
@@ -65,7 +66,8 @@ def test_kani_perf_success(self):
         cmd = (
             "rm -rf build target &&"
             "mkdir -p build/tests/perf/Arbitrary/expected &&"
-            "kani tests/kani/Arbitrary/arbitrary_impls.rs > "
+            "kani tests/kani/Arbitrary/arbitrary_impls.rs "
+            "--enable-unstable --cbmc-args --verbosity 9 > "
             "build/tests/perf/Arbitrary/expected/expected.out"
         )
         self._run_kani_perf_test(cmd, True)