From 6c8a26eb86b948b67ae204b00e49d8cdea09132f Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Mon, 29 Dec 2025 09:34:18 -0800
Subject: [PATCH] Update script

---
 tests/staged_sim_and_verif/staged_sim_and_verif.sh | 8 +++-----
 1 file changed, 3 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 7cb867e..a7426b8 100755
--- a/tests/staged_sim_and_verif/staged_sim_and_verif.sh
+++ b/tests/staged_sim_and_verif/staged_sim_and_verif.sh
@@ -3,14 +3,12 @@ set -euo pipefail
 
 FLOW_FILE="skip_staged_flow.sby"
 
-# Clean previous runs so we always exercise the full staged flow.
-rm -rf skip_staged_flow_stage_1_init skip_staged_flow_stage_1_fv skip_staged_flow_stage_2_init skip_staged_flow_stage_2_fv
-
 run_task() {
     python3 "$SBY_MAIN" -f "$FLOW_FILE" "$1"
 }
 
 run_task stage_1_init
-run_task stage_1_fv
+run_task stage_1_cover
 run_task stage_2_init
-run_task stage_2_fv
+run_task stage_2a_cover
+run_task stage_2b_assert