search

usi-verification-and-security / golem

Solver for Constrained Horn Clauses
MIT License
34 stars 7 forks source link

Add more testing infrastructure #56

Open blishko opened 9 months ago

blishko commented 9 months ago

Add infrastructure for