From 7dd43d876e06da00a089d2a6cc66a5192e4ff661 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 19 Jun 2024 18:44:44 +0000
Subject: [PATCH] Separate flags

---
 scripts/kani-perf.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/kani-perf.sh b/scripts/kani-perf.sh
index c013317c5f3e..170ef7682e3b 100755
--- 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..."