From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 2 Dec 2021 01:03:38 +0000 (-0800)
Subject: format code
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b9221ca9eab668e8a256f76bf111aa88404b916;p=nmutil.git

format code
---

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