Add "mutate -cfg", improve pick_cover behavior
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:20:41 +0000 (23:20 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 22:20:41 +0000 (23:20 +0100)
commit27a5d9c91e44dd04fa45e1e2aeff8c6d1cd50872
treeb8618ff04f8301212d6a68958c9876f21c2438dc
parent4d304e3da77a571d1febfebca1409f522177af38
Add "mutate -cfg", improve pick_cover behavior

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