From 2b9221ca9eab668e8a256f76bf111aa88404b916 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Wed, 1 Dec 2021 17:03:38 -0800 Subject: [PATCH] format code --- src/nmutil/formaltest.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/nmutil/formaltest.py b/src/nmutil/formaltest.py index 4b9b174..8e16623 100644 --- a/src/nmutil/formaltest.py +++ b/src/nmutil/formaltest.py @@ -20,6 +20,7 @@ class FHDLTestCase(unittest.TestCase): def assertRepr(self, obj, repr_str): if isinstance(obj, list): obj = Statement.cast(obj) + def prepare_repr(repr_str): repr_str = re.sub(r"\s+", " ", repr_str) repr_str = re.sub(r"\( (?=\()", "(", repr_str) @@ -70,7 +71,7 @@ class FHDLTestCase(unittest.TestCase): # A mix of BMC and k-induction, as per personal # communication with Clifford Wolf. script = "setattr -unset init w:* a:nmigen.sample_reg %d" - mode = "bmc" + mode = "bmc" else: script = "" @@ -105,4 +106,3 @@ class FHDLTestCase(unittest.TestCase): stdout, stderr = proc.communicate(config) if proc.returncode != 0: self.fail("Formal verification failed:\n" + stdout) - -- 2.30.2