riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #3517 from jix/smtbmc-witness-no-assume-skipped 

smtbmc: Do not assume skipped assertions when loading a witness trace
This commit is contained in:
Jannis Harder 2022-10-24 16:06:52 +02:00 committed by GitHub
parent 61440a42d1 96029400cb
commit 9f76ff0b6a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
backends/smt2/smtbmc.py
View File

@ -453,7 +453,6 @@ assert topmod in smt.modinfo
if cexfile is not None:
if not got_topt:
assume_skipped = 0
skip_steps = 0
num_steps = 0
@ -499,7 +498,6 @@ if aimfile is not None:
latch_map = dict()
if not got_topt:
assume_skipped = 0
skip_steps = 0
num_steps = 0
@ -633,7 +631,6 @@ if aimfile is not None:
if inywfile is not None:
if not got_topt:
assume_skipped = 0
skip_steps = 0
num_steps = 0