make assertFormal work with smtlib2 types other than Bool/BitVec

diff --git a/tests/utils.py b/tests/utils.py
index 6355001b8f04150a49c7eac368baf56ee4658553..f1639047cd67b9cbebfbc535a49e88d4be448791 100644 (file)
--- a/tests/utils.py
+++ b/tests/utils.py
@@ -58,7 +58,7 @@ class FHDLTestCase(unittest.TestCase):
         wait on
 
         [engines]
-        smtbmc
+        smtbmc -- -- --logic=ALL
 
         [script]
         read_ilang top.il