From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 24 Jun 2022 23:53:39 +0000 (-0700)
Subject: switch smtlib2 logic to ALL to support floats
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d5a0ecb599eb0508e80eb13a0f1542114bb1637;p=nmutil.git

switch smtlib2 logic to ALL to support floats
---

diff --git a/src/nmutil/formaltest.py b/src/nmutil/formaltest.py
index 7244a3a..dd2b4ae 100644
--- a/src/nmutil/formaltest.py
+++ b/src/nmutil/formaltest.py
@@ -49,7 +49,7 @@ class FHDLTestCase(unittest.TestCase):
         wait on
 
         [engines]
-        smtbmc {solver}
+        smtbmc {solver} -- -- --logic=ALL
 
         [script]
         read_ilang top.il