mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-12-09 14:53:25 +00:00
Code Activity

Revert "Remove asserts during cover mode"

Browse source 
This reverts commit 81873292c9.
This commit is contained in:
Krystine Sherwin 2025-07-02 17:59:46 +12:00
parent 81873292c9
commit 205245c827
No known key found for this signature in database
3 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/unsorted/mixed.sby
View file

@ -8,9 +8,6 @@ cover: mode cover
bmc: mode bmc
bmc: depth 1
cover: expect pass
~cover: expect fail
[engines]
cover: btor btormc
btormc: btor btormc