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
325 stars 63 forks source link

single argument AND, OR, XOR #119

Closed Ketchynez closed 4 years ago

Ketchynez commented 4 years ago

When using smt2 files as input into binary, you get an error argument to 'and' missing (same for OR, XOR) for those functions with single argument.

aniemetz commented 4 years ago

This is intended behavior, it's not SMT2 compliant to use a single argument.