A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
335
stars
62
forks
source link
Fixing infinite recursion in checking if expression is a bool #80
Closed
aytey closed 4 years ago
Fixes infinite recursion in rich comparison operators.
Signed-off-by: Andrew V. Jones andrew.jones@vector.com