From a04306c07c8f236ff2b4facc7ccd093f36ac051a Mon Sep 17 00:00:00 2001 From: Jean THOMAS Date: Mon, 6 Jul 2020 12:45:53 +0200 Subject: [PATCH] Fix formal support in FHDLTestCase --- gram/test/utils.py | 1 - 1 file changed, 1 deletion(-) diff --git a/gram/test/utils.py b/gram/test/utils.py index 6b4ad4c..6712429 100644 --- a/gram/test/utils.py +++ b/gram/test/utils.py @@ -92,7 +92,6 @@ class FHDLTestCase(unittest.TestCase): """).format( mode=mode, depth=depth, - script=script, rtlil=rtlil.convert(Fragment.get(spec, platform="formal")) ) with subprocess.Popen([require_tool("sby"), "-f", "-d", spec_name], -- 2.30.2