projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5abacca) | patch
handle unreached cover properties
authorN. Engelhardt <nak@yosyshq.com>
Mon, 7 Feb 2022 14:29:36 +0000 (15:29 +0100)
committerN. Engelhardt <nak@yosyshq.com>
Mon, 7 Feb 2022 14:29:36 +0000 (15:29 +0100)
commit53eb25fcaeddfdb7011ddba98c67f85b903fe8f0
tree517f36260efc3cb3916204649af1d534f7b5ce6ftree
parent5abaccab695063a65fe54748b8e7dcc02428838dcommit | diff
handle unreached cover properties
sbysrc/sby.py diff | blob | history
sbysrc/sby_core.py diff | blob | history
sbysrc/sby_engine_smtbmc.py diff | blob | history
tests/cover_fail.sby [new file with mode: 0644] blob