Added freduce -stop
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 17:14:26 +0000 (18:14 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 17:14:26 +0000 (18:14 +0100)
commitda5859a6744943469d5165724fa79ce243e5d8e3
tree66e96fab7502c1ec8a5533e87b485a81e552e746
parent4d07f8825845618daffb4d61bdcbb3eda0e1393a
Added freduce -stop
passes/sat/freduce.cc