Boolector/boolector

single argument AND, OR, XOR

Closed this issue · 1 comments

Ketchynez commented

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

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