fix prefix overrides

tum-ei-eda · Mar 19, 2024 · 00d11c1 · 00d11c1
1 parent 93a74bf
commit 00d11c1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/seal5/pass_list.py b/seal5/pass_list.py
@@ -17,6 +17,7 @@ def convert_models(
     env: Optional[dict] = None,
     verbose: bool = False,
     inplace: bool = False,
+    prefix: Optional[str] = None,
     **kwargs,
 ):
     assert not inplace
@@ -35,6 +36,9 @@ def convert_models(
         "info",
         # "debug",
     ]
+    if prefix:
+        assert isinstance(prefix, str)
+        args.extend(["--prefix", prefix])
     utils.python(
         "-m",
         "seal5.transform.converter",