search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Refactored and extended "redundant" unsat-core regression tests #802

Closed Tomaqa closed 3 weeks ago

Tomaqa commented 3 weeks ago

These tests quite extensively cover corner cases of the options :minimal-unsat-cores and :print-cores-full.

Tomaqa commented 3 weeks ago

I removed some of the tests (especially full cores). Some of them may still be redundant but can be useful in the future for verifying optimized algorithms.