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
334 stars 62 forks source link

Can't build boolector due to missing is_neg_exp reference #5

Closed deian closed 6 years ago

deian commented 6 years ago

Seems like 36980f3 removed is_neg_exp, but that's still used in:

https://github.com/Boolector/boolector/blob/3f18eda4d4dc6f1be85a04f41fae1e914ded29d7/src/btorrewrite.c#L1882

aniemetz commented 6 years ago

Oh wow, how could this have slipped through? Fixed in https://github.com/Boolector/boolector/commit/47f94b39fb6e099195da043ddaf8d82e4b2aebc9.