mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-11-02 05:47:53 +00:00
Code Activity

Remove asserts during cover mode

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

2
sbysrc/sby_core.py
View file

@ -1020,7 +1020,7 @@ class SbyTask(SbyConfig):
if self.opt_mode in ["bmc", "prove"]:
print("chformal -live -fair -cover -remove", file=f)
if self.opt_mode == "cover":
print("chformal -live -fair -remove", file=f)
print("chformal -live -fair -assert -remove", file=f)
if self.opt_mode == "live":
print("chformal -assert2assume", file=f)
print("chformal -cover -remove", file=f)