--simulation return wrong UNSAT results
Closed this issue · 1 comments
soonho-tri commented
- regression_nra_simul_mass_spring.smt2
- regression_nra_simul_exist_forall_07.smt2
- regression_nra_simul_exist_forall_09.smt2
soonho-tri commented
Fixed by 6c5bf19