[issue1030] more explicit error when parsing an empty goal

aibasel · Jun 30, 2022 · 6ce9426 · 6ce9426
1 parent 69fe480
commit 6ce9426
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -11,7 +11,8 @@ after the corresponding tracker issues.
 
 ## Changes since the last release
 
-- none yet
+- Better error message for empty goal.
+<http://issues.fast-downward.org/issue1030>
 
 ## Fast Downward 22.06
 

diff --git a/src/translate/pddl_parser/parsing_functions.py b/src/translate/pddl_parser/parsing_functions.py
@@ -460,7 +460,9 @@ def parse_task_pddl(task_pddl, type_dict, predicate_dict):
     yield initial
 
     goal = next(iterator)
-    assert goal[0] == ":goal" and len(goal) == 2
+    assert goal[0] == ":goal" and len(goal) == 2 and goal[1], (
+            "missing or empty goal"
+        )
     yield parse_condition(goal[1], type_dict, predicate_dict)
 
     use_metric = False