switch smtlib2 logic to ALL to support floats
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 24 Jun 2022 23:53:39 +0000 (16:53 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 24 Jun 2022 23:53:39 +0000 (16:53 -0700)
commit7d5a0ecb599eb0508e80eb13a0f1542114bb1637
tree27854d2d30f887a1ac09ff0673508d67e439d9ea
parent34e0ed29a1ca995bf1b17b35d2c5420285349dca
switch smtlib2 logic to ALL to support floats
src/nmutil/formaltest.py