projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc7d78f) | patch
Add a bit of flexibilty re trace length when processing aiger witnesses in smtbmc.py
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Feb 2022 16:24:49 +0000 (17:24 +0100)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 11 Feb 2022 16:24:49 +0000 (17:24 +0100)
commit30eb7f8665bb54ee9e3e25e0508ec6201106ac79
treeef79c9f128f0c4c6c990d69b6165e975e9e0b127tree
parentfc7d78f0714f4314424e599e609a962b263e5b95commit | diff
Add a bit of flexibilty re trace length when processing aiger witnesses in smtbmc.py

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
backends/smt2/smtbmc.py diff | blob | history