Fix argument

zhassan-aws · Sep 13, 2024 · 0d2eb5a · 0d2eb5a
1 parent 7257b72
commit 0d2eb5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/std-lib-regression.sh b/scripts/std-lib-regression.sh
@@ -71,7 +71,7 @@ RUST_FLAGS=(
     "--kani-compiler"
     "-Cpanic=abort"
     "-Zalways-encode-mir"
-    "-Cllvm-args=--goto-c"
+    "-Cllvm-args=--backend=c_prover"
     "-Cllvm-args=--ignore-global-asm"
     "-Cllvm-args=--reachability=pub_fns"
     "-Cllvm-args=--build-std"