model: add SKIP_PATTERN_GEN (unimplemented)

tum-ei-eda · Nov 11, 2024 · eaf29d7 · eaf29d7
1 parent 796ed75
commit eaf29d7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/seal5/model.py b/seal5/model.py
@@ -142,6 +142,7 @@ class Seal5InstrAttribute(Enum):
     COMPRESSED = auto()
     USES = auto()
     DEFS = auto()
+    SKIP_PATTERN_GEN = auto()  # TODO: use
 
 
 class Seal5FunctionAttribute(Enum):