diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-03-14 23:01:55 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-03-14 23:01:55 +0100 |
| commit | 4d304e3da77a571d1febfebca1409f522177af38 (patch) | |
| tree | d37c346c97c4d4409d30312ec17e554edccdcbd5 /examples/smtbmc/demo8.v | |
| parent | 2a4263a75d0bbbc5b8f2de797b572d6f1d64818b (diff) | |
| download | yosys-4d304e3da77a571d1febfebca1409f522177af38.tar.gz yosys-4d304e3da77a571d1febfebca1409f522177af38.tar.bz2 yosys-4d304e3da77a571d1febfebca1409f522177af38.zip | |
Add a strictly coverage-driven mutation selection strategy
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'examples/smtbmc/demo8.v')
0 files changed, 0 insertions, 0 deletions