From 3a2f65a4eadaaa969def90441ff1a28529bc281b Mon Sep 17 00:00:00 2001 From: zhaojieyou Date: Fri, 4 Sep 2026 11:33:00 -0700 Subject: [PATCH] Forward Kani arguments to AutoHarness list commands --- scripts/run-kani.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh index b996564989b1d..4d63505eefec5 100755 --- a/scripts/run-kani.sh +++ b/scripts/run-kani.sh @@ -315,7 +315,8 @@ main() { elif [[ "$run_command" == "list" ]]; then echo "Running Kani list command..." if [[ "$with_autoharness" == "true" ]]; then - "$kani_path" autoharness -Z autoharness --list $unstable_args --std ./library --format markdown + "$kani_path" autoharness -Z autoharness --list $unstable_args --std ./library --format markdown \ + "${command_args[@]}" else "$kani_path" list $unstable_args ./library --std --format markdown fi @@ -323,7 +324,8 @@ main() { local current_dir=$(pwd) echo "Running Kani list command..." if [[ "$with_autoharness" == "true" ]]; then - "$kani_path" autoharness -Z autoharness --list $unstable_args --std ./library --format json + "$kani_path" autoharness -Z autoharness --list $unstable_args --std ./library --format json \ + "${command_args[@]}" else "$kani_path" list $unstable_args ./library --std --format json fi