mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-07 10:11:57 +00:00
Code Activity

no_props.sby: Add btor_cover placeholder

Browse source 
The test infrastructure doesn't like when the `cover` tag is used but there is no task that uses it (because it thinks it is a task rather than a tag).
This commit is contained in:
Krystine Sherwin 2025-09-30 11:22:13 +13:00
parent db782815f2
commit d8e276983e
No known key found for this signature in database
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/unsorted/no_props.sby
View file

@ -1,6 +1,7 @@
[tasks] [tasks]
abc prove abc prove
abc_keepgoing prove abc_keepgoing prove
btor_cover cover
# "Error: Does not work for combinational networks." # "Error: Does not work for combinational networks."
abc_bmc3 bmc error abc_bmc3 bmc error
@ -19,6 +20,7 @@ error: expect ERROR
abc: abc pdr abc: abc pdr
abc_keepgoing: abc --keep-going pdr abc_keepgoing: abc --keep-going pdr
btor_pono: btor pono btor_pono: btor pono
btor_cover: btor btormc
abc_bmc3: abc bmc3 abc_bmc3: abc bmc3
abc_sim3: abc sim3 abc_sim3: abc sim3