Variant reduction does not remove checks #7
Description
Attached Boolector test case has remaining checks after variant elimination.
btor_red_fail.zip
{{ message }}
Attached Boolector test case has remaining checks after variant elimination.
btor_red_fail.zip