projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a814ce2) | patch
Check cover and bmc in separate sub-tests
authorCesar Strauss <cestrauss@gmail.com>
Fri, 28 Oct 2022 12:56:41 +0000 (09:56 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Fri, 28 Oct 2022 12:56:41 +0000 (09:56 -0300)
commit07ed6f02358197e56dea787fa22bd0bc8934f231
treeee5dc3dde4946a11d6440fc15c5f139dd0bb1119tree
parenta814ce2456e7d1f3b7ae40ad6e014a509dbd1130commit | diff
Check cover and bmc in separate sub-tests

This allows generating a bmc trace even if cover failed.
src/soc/experiment/formal/proof_compalu_multi.py diff | blob | history