Added "equiv_simple -undef"
authorClifford Wolf <clifford@clifford.at>
Sat, 31 Jan 2015 12:06:41 +0000 (13:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 31 Jan 2015 12:06:41 +0000 (13:06 +0100)
commite9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e
treea4f9fd632edd00115ff27d3563531345a97aaa76
parentf80f5b721da8188f2b00cc238075ef4e52a03d35
Added "equiv_simple -undef"
kernel/satgen.h
passes/equiv/equiv_simple.cc