projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f3c413) | patch
add fallback if solver can't tell which property fails
authorN. Engelhardt <nak@yosyshq.com>
Fri, 21 Jan 2022 14:18:53 +0000 (15:18 +0100)
committerN. Engelhardt <nak@yosyshq.com>
Fri, 21 Jan 2022 14:18:53 +0000 (15:18 +0100)
commita9d1972c47a158fc139847b7661592e1a25300cb
treefe4c5b240f29af97670e89202f37c2d9b950e16btree
parent7f3c4137c10c79c671a8f20b8d6b20a16487beeecommit | diff
add fallback if solver can't tell which property fails
sbysrc/sby.py diff | blob | history