Added "equiv_add -try" mode
authorClifford Wolf <clifford@clifford.at>
Wed, 6 Jan 2016 12:54:00 +0000 (13:54 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 6 Jan 2016 12:54:00 +0000 (13:54 +0100)
commit1f8c47fb47e9d15808e66e423827598bb1050411
tree8971ba0333a746ef1f79a362228b58121bef1279
parent1d62f8710f04fec405ef79b9e9a4a031afcf7d42
Added "equiv_add -try" mode
passes/equiv/equiv_add.cc