Remove code for hybrid formal proof, unused

diff --git a/gram/test/utils/formal.py b/gram/test/utils/formal.py
index dfbd63e03c650529fe447c485964f64b8ce26cec..cc3b87a078c62e886f3c2b40477efa36e2558ae1 100644 (file)
--- a/gram/test/utils/formal.py
+++ b/gram/test/utils/formal.py
@@ -66,14 +66,6 @@ class FHDLTestCase(unittest.TestCase):
         if os.path.exists(os.path.join(spec_dir, spec_name)):
             shutil.rmtree(os.path.join(spec_dir, spec_name))
 
-        if mode == "hybrid":
-            # 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"
-        else:
-            script = ""
-
         config = textwrap.dedent("""\
         [options]
         mode {mode}
@@ -86,7 +78,6 @@ class FHDLTestCase(unittest.TestCase):
         [script]
         read_ilang top.il
         prep
-        {script}
 
         [file top.il]
         {rtlil}