From 9389f3a7d6a903bc0ed970e38c37d4a20dcb8d2c Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Tue, 13 Jan 2026 08:18:54 -0800 Subject: [PATCH] Update script --- tests/staged_sim_and_verif/staged_sim_and_verif.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/tests/staged_sim_and_verif/staged_sim_and_verif.sh b/tests/staged_sim_and_verif/staged_sim_and_verif.sh index a7426b8..100e98b 100755 --- a/tests/staged_sim_and_verif/staged_sim_and_verif.sh +++ b/tests/staged_sim_and_verif/staged_sim_and_verif.sh @@ -7,8 +7,8 @@ run_task() { python3 "$SBY_MAIN" -f "$FLOW_FILE" "$1" } -run_task stage_1_init -run_task stage_1_cover -run_task stage_2_init -run_task stage_2a_cover -run_task stage_2b_assert +run_task stage_1 +run_task stage_2 +run_task stage_3_init +run_task stage_3a_cover +run_task stage_3b_assert