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

Leftover debugging printf in btorsmt2.c? #93

Closed jamesbornholt closed 4 years ago

jamesbornholt commented 4 years ago

https://github.com/Boolector/boolector/blob/master/src/parser/btorsmt2.c#L4809-L4810

Looks like a leftover debugging printf.

aniemetz commented 4 years ago

Oh boy, I must have had a bad day. Thanks! Fixed in https://github.com/Boolector/boolector/commit/c3c01e6da0e553734bbfd258d54f0ca6369021f5.

jamesbornholt commented 4 years ago

Thanks!