search

usi-verification-and-security / golem

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

Assertion violation in computing witness with Spacer engine #24

Closed blishko closed 1 year ago

blishko commented 1 year ago

chc22/LIA-Lin/chc-LIA-Lin_434.smt2

blishko commented 1 year ago

Fixed in 2a82a5f