change smtbmc to correctly handle output of $smtlib2_expr
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:08:41 +0000 (01:08 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:08:41 +0000 (01:08 -0700)
commite33d7a9a1dcbf1a507efc18c3135e71f1af650ca
treee7649eda5fb4222b2212a98c060d89b5dab76b41
parent4bf43c5ee227c0b64c6fff8276afa9b17bf36b94
change smtbmc to correctly handle output of $smtlib2_expr
backends/smt2/smtio.py