Separate flags

model-checking · Jun 19, 2024 · 7dd43d8 · 7dd43d8
1 parent 9a68859
commit 7dd43d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
@@ -28,7 +28,7 @@ suite="perf"
 mode="cargo-kani-test"
 echo "Check compiletest suite=$suite mode=$mode"
 cargo run -p compiletest -- --suite $suite --mode $mode --no-fail-fast \
-  --kani-flag="--enable-unstable --cbmc-args --verbosity 9"
+  --kani-flag="--enable-unstable" --kani-flag="--cbmc-args" --kani-flag="--verbosity" --kani-flag="9"
 exit_code=$?
 
 echo "Cleaning up..."