search

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
http://boolector.github.io
Other
332 stars 62 forks source link

Small fixes #58

Closed BrunoDutertre closed 5 years ago

BrunoDutertre commented 5 years ago

Fixes issues with cmake script to find the btor2tools.

Also fixes a printf statement to avoid compilation warnings.

aytey commented 5 years ago

@BrunoDutertre you should check out the "contributing" section of the readme.

Basically: your commits need to be squashed and the final commit signed-off.

Also, given you've got a CMake change and a logging change, maybe it makes sense to make these into two PRs such that they can be reviewed, tested and integrated separately?