search

usi-verification-and-security / golem

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

Witness: Fix printing predicate names in model #28

Closed blishko closed 1 year ago

blishko commented 1 year ago

We were missing the quotes around the names of the predicates, which may be required for weird names, for example with spaces.

Fixes #27