mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-05 04:40:51 +00:00
Code Activity

Update script

Browse source
This commit is contained in:
Gus Smith 2025-12-29 09:34:18 -08:00
parent 531e328c3d
commit 6c8a26eb86
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/staged_sim_and_verif/staged_sim_and_verif.sh
View file

@ -3,14 +3,12 @@ set -euo pipefail
FLOW_FILE="skip_staged_flow.sby" 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() { run_task() {
python3 "$SBY_MAIN" -f "$FLOW_FILE" "$1" python3 "$SBY_MAIN" -f "$FLOW_FILE" "$1"
} }
run_task stage_1_init run_task stage_1_init
run_task stage_1_fv run_task stage_1_cover
run_task stage_2_init run_task stage_2_init
run_task stage_2_fv run_task stage_2a_cover
run_task stage_2b_assert