Add "mutate -none -mode", "mutate -mode none"
authorClifford Wolf <clifford@clifford.at>
Sat, 23 Mar 2019 19:20:32 +0000 (20:20 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 23 Mar 2019 19:20:32 +0000 (20:20 +0100)
commitccfa2fe01cffcc4d23bc989e558bd33addfea58e
tree7b4f0a9177d788de2aecd7806b103b02e599b479
parent59c44bb61ab1a69a7ba4cd8d2b6d8d3e3408d9ca
Add "mutate -none -mode", "mutate -mode none"

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