From a55167a94823a8496b8ef192b440571cd7ac6629 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 19 Jun 2024 18:56:04 +0000 Subject: [PATCH] benchcomp test with verbosity --- tools/benchcomp/test/test_regression.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/benchcomp/test/test_regression.py b/tools/benchcomp/test/test_regression.py index ccf2259f7f0b..124e16b2ceb7 100644 --- 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)