From 203e6d65d39229694379d5d7c67a475bf6d6b491 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 20 May 2022 01:54:18 -0700
Subject: [PATCH] make assertFormal work with smtlib2 types other than
 Bool/BitVec

---
 tests/utils.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/utils.py b/tests/utils.py
index 6355001..f163904 100644
--- 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
-- 
2.30.2