Improve "mutate" wire coverage metric
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:01:01 +0000 (23:01 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:01:01 +0000 (23:01 +0100)
commit2a4263a75d0bbbc5b8f2de797b572d6f1d64818b
tree0d32025a044126c40f0a5bed673c6e86beaeae9d
parent1b4fdbb0d881040220cdf1591f415cd2176481ad
Improve "mutate" wire coverage metric

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