mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-02-22 03:07:38 +00:00
Code Activity

Use tags

Browse source
This commit is contained in:
Gus Smith 2026-01-21 08:22:19 -08:00
parent 501a054731
commit b66bbe4503
1 changed files with 10 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

23
tests/staged_sim_and_verif/skip_staged_flow.sby
View file

@ -1,20 +1,16 @@
[tasks]
prep
stage_1
stage_2
stage_1 cover
stage_2 cover
stage_3_init
stage_3a_cover
stage_3a_cover cover
stage_3b_assert
[options]
prep:
mode prep
stage_1:
mode cover
skip_prep on
stage_2:
cover:
mode cover
skip_prep on
@ -22,10 +18,6 @@ stage_3_init:
mode prep
skip_prep on
stage_3a_cover:
mode cover
skip_prep on
stage_3b_assert:
mode prove
skip_prep on
@ -33,14 +25,19 @@ skip_prep on
--
[engines]
smtbmc
prep:
none
cover:
smtbmc
stage_3_init:
none
stage_3b_assert:
smtbmc
--
[script]