switch smtlib2 logic to ALL to support floats

[nmutil.git] / src / nmutil / formaltest.py

diff --git a/src/nmutil/formaltest.py b/src/nmutil/formaltest.py
index 7244a3a3a50cdb3a64008a0a75a7bfbd53ad7dfa..dd2b4ae45029db82ad53b6e69c8060cd09471836 100644 (file)
--- 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