mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-26 10:44:37 +00:00
Code Activity

Add smtbmc prove support

Browse source
This commit is contained in:
Clifford Wolf 2017-01-30 12:59:20 +01:00
parent 5125128bbd
commit ffeee1a11f
3 changed files with 74 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

6
sbysrc/sby_mode_prove.py
View file

@ -25,8 +25,10 @@ def run(job):
if "depth" in job.options:
job.opt_depth = int(job.options["depth"])
job.basecase_done = False
job.induction_done = False
job.status = "UNKNOWN"
job.basecase_pass = False
job.induction_pass = False
job.basecase_tasks = list()
job.induction_tasks = list()