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