search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Correct `QF_LRA/lra_const_zero.smt2` #749

Closed Tomaqa closed 3 months ago

Tomaqa commented 3 months ago

This test lacked check-sat command.