From f18c7a765e8cc0f52b7ea1dbaff7410e04ce721a Mon Sep 17 00:00:00 2001
From: Alessandro Valentini <alvalentini@fbk.eu>
Date: Thu, 1 Feb 2024 11:07:36 +0100
Subject: [PATCH] Updated symk version and fixed report.py

---
 setup.py                | 2 ++
 up_test_cases/report.py | 7 ++++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index 4cf61cbd5..699f317ea 100644
--- 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
index aea024e8c..afaf47660 100644
--- 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: