search

cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5
Other
6 stars 9 forks source link

Non-zero exit on doctest failure #70

Closed alex-ozdemir closed 2 years ago

alex-ozdemir commented 2 years ago

Let's fix it here; I just have to re-build cvc5 first.