From 7d5a0ecb599eb0508e80eb13a0f1542114bb1637 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 24 Jun 2022 16:53:39 -0700
Subject: [PATCH] switch smtlib2 logic to ALL to support floats

---
 src/nmutil/formaltest.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2