Updated symk version and fixed report.py

aiplan4eu · Feb 1, 2024 · f18c7a7 · f18c7a7
1 parent 73a3c3c
commit f18c7a7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -30,6 +30,7 @@
         "lpg": ["up-lpg==0.0.10"],
         "fmap": ["up-fmap==0.0.13"],
         "aries": ["up-aries>=0.3.3"],
+        "symk": ["up-symk>=1.3.0"],
         "engines": [
             "tarski[arithmetic]",
             "up-pyperplan~=1.1.0",
@@ -39,6 +40,7 @@
             "up-lpg==0.0.10",
             "up-fmap==0.0.13",
             "up-aries>=0.3.3",
+            "up-symk>=1.3.0",
         ],
         "plot": [
             "plotly",

diff --git a/up_test_cases/report.py b/up_test_cases/report.py
@@ -157,7 +157,12 @@ def check_result(
         else:
             if planner.satisfies(OptimalityGuarantee.SOLVED_OPTIMALLY):
                 output += verify(
-                    result.status is PlanGenerationResultStatus.SOLVED_OPTIMALLY,
+                    result.status
+                    in (
+                        PlanGenerationResultStatus.SOLVED_OPTIMALLY,
+                        PlanGenerationResultStatus.INTERMEDIATE,
+                        PlanGenerationResultStatus.TIMEOUT,
+                    ),
                     f"Planner guarantees optimality but returned {result.status.name}",
                 )
             else: