projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a4263a) | patch
Add a strictly coverage-driven mutation selection strategy
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:01:55 +0000 (23:01 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:01:55 +0000 (23:01 +0100)
commit4d304e3da77a571d1febfebca1409f522177af38
treed37c346c97c4d4409d30312ec17e554edccdcbd5tree
parent2a4263a75d0bbbc5b8f2de797b572d6f1d64818bcommit | diff
Add a strictly coverage-driven mutation selection strategy

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/mutate.cc diff | blob | history