From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 20 May 2022 08:54:18 +0000 (-0700)
Subject: make assertFormal work with smtlib2 types other than Bool/BitVec
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=203e6d65d39229694379d5d7c67a475bf6d6b491;p=nmigen.git

make assertFormal work with smtlib2 types other than Bool/BitVec
---

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