fixed a bug in SMT-level error-parsing

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Apache License 2.0

65 stars 14 forks source link

Closed AdrienChampion closed 2 years ago