Add more mutation types, improve mutation src cover
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 18:52:02 +0000 (19:52 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 21:04:42 +0000 (22:04 +0100)
commit1b4fdbb0d881040220cdf1591f415cd2176481ad
tree53990a1ed2079ff7187a894d01aac08b10910b5f
parentbacca5753775bfabed955a9772a5d86d85007c58
Add more mutation types, improve mutation src cover

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