From 1a38674ad6753e3a78e0181d1fe613f3b25ebacd Mon Sep 17 00:00:00 2001 From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com> Date: Sat, 21 Dec 2024 18:31:53 -0800 Subject: [PATCH] Add missing line separator (#232) Fix a typo introduced in #229 that prevents `kani-args` from getting passed to the `kani` command. This was discovered by @tengjiang (see https://github.com/model-checking/verify-rust-std/discussions/231). By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. --- scripts/run-kani.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh index 72aa8ef176056..63df2886d0d71 100755 --- a/scripts/run-kani.sh +++ b/scripts/run-kani.sh @@ -288,7 +288,7 @@ main() { # Run verification for all harnesses (not in parallel) echo "Running Kani verify-std command..." "$kani_path" verify-std -Z unstable-options ./library \ - $unstable_args + $unstable_args \ $command_args \ --enable-unstable \ --cbmc-args --object-bits 12