search

usi-verification-and-security / golem

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

Crash when printing sat witnesses #29

Closed rodrigo7491 closed 1 year ago

rodrigo7491 commented 1 year ago

With CHC-LIA-Lin_110, Golem (v0.4.0) produces an output when run without arguments, but with --print-witness, it crashes with the following message:

terminate called after throwing an instance of 'std::out_of_range'
  what():  _Map_base::at
Aborted (core dumped)
rodrigo7491 commented 1 year ago

This was fixed in 2a82a5fa48ea1b6668ae58695ce07f11f7748ee9, right @blishko?

blishko commented 1 year ago

Yes!