Use more result statuses to better reflect planner exit codes

aiplan4eu · Nov 7, 2023 · e6244f4 · e6244f4
1 parent b017408
commit e6244f4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,7 @@
 UP Fast Downward 0.3.3
 - fix bug in fast-downward-reachability grounder
 - silence output in grounders
+- support result status MEMOUT, TIMEOUT and UNSUPPORTED_PROBLEM
 
 UP Fast Downward 0.3.2
 - support UP problem kind version 2

diff --git a/up_fast_downward/fast_downward.py b/up_fast_downward/fast_downward.py
@@ -112,6 +112,12 @@ def solved(metrics):
             return ResultStatus.UNSOLVABLE_PROVEN
         if retval == 12:
             return ResultStatus.UNSOLVABLE_INCOMPLETELY
+        if retval == 34:
+            return ResultStatus.UNSUPPORTED_PROBLEM
+        if retval in (21, 23):
+            return ResultStatus.TIMEOUT
+        if retval in (20, 22):
+            return ResultStatus.MEMOUT
         else:
             return ResultStatus.INTERNAL_ERROR