fix last patch stage being skipped

tum-ei-eda · Mar 1, 2024 · 47a441f · 47a441f
1 parent 380ca20
commit 47a441f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/seal5/flow.py b/seal5/flow.py
@@ -1577,7 +1577,7 @@ def apply_patch(self, patch: PatchSettings, force: bool = False):
     def patch(self, verbose: bool = False, stages: List[PatchStage] = None, force: bool = False):
         logger.info("Applying Seal5 patches")
         if stages is None:
-            stages = list(map(PatchStage, range(PatchStage.PHASE_4)))
+            stages = list(map(PatchStage, range(PatchStage.PHASE_5 + 1)))
         assert len(stages) > 0
         patches_per_stage = self.collect_patches()
         for stage in stages:

diff --git a/seal5/types.py b/seal5/types.py
@@ -32,3 +32,4 @@ class PatchStage(IntEnum):
     PHASE_2 = 2
     PHASE_3 = 3
     PHASE_4 = 4
+    PHASE_5 = 5