Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
authorClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 17:11:01 +0000 (18:11 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 2 Jan 2014 17:11:01 +0000 (18:11 +0100)
commitc6b33f81eb458233be15e1f53882b3684449f3b7
tree223b1fc26a69ce7d894ae4d9373380cf96a7163d
parent6dec0e0b3ef3aa42dec4a505896042fe7a2276c6
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
passes/sat/freduce.cc