projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa5d5ad) | patch
junit: handle multiple asserts failing with the same trace
authorN. Engelhardt <nak@yosyshq.com>
Tue, 22 Mar 2022 15:16:02 +0000 (16:16 +0100)
committerN. Engelhardt <nak@yosyshq.com>
Tue, 22 Mar 2022 15:16:02 +0000 (16:16 +0100)
commitc7e4785a8a503e95065329eee3f6e20db46954a0
tree314146ecdf93a70e959f31f77e10ea0bbcf8babdtree
parentfa5d5ad831dcbea08ea1d9d6ff81df697183eaa1commit | diff
junit: handle multiple asserts failing with the same trace
sbysrc/sby_engine_smtbmc.py diff | blob | history
tests/2props1trace.sby [new file with mode: 0644] blob