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

Run CVC4 tests in CI #41

Closed tchajed closed 1 year ago

tchajed commented 1 year ago

I didn't add support for Windows, but it also isn't actually run in CI. To make the workflow more robust I could split the "run tests" step into one for Windows (where CVC4 is skipped) and one for macOS/Ubuntu.

Partially addresses #40.

tchajed commented 1 year ago

@AdrienChampion can you approve running workflows for me so this gets tested?

tchajed commented 1 year ago

I had a bug because cvc4 --help actually returns an error status. Should be fixed now (and I tested on my fork to confirm).

AdrienChampion commented 1 year ago

@tchajed thank you so much for this 😻