Improve error messages that show up when single-search parser is used…

… for anytime search.
aibasel · Sep 12, 2020 · c415a62 · c415a62
1 parent 8385163
commit c415a62
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/downward/scripts/single-search-parser.py b/downward/scripts/single-search-parser.py
@@ -55,13 +55,14 @@ def _get_states_pattern(attribute, name):
 def check_single_search(content, props):
     if "Cumulative statistics:" in content:
         props.add_unexplained_error(
-            "single-search parser can't be used for iterated search"
+            "Single-search parser can't be used for iterated search."
         )
     for _, pattern, _ in PATTERNS:
         results = re.findall(pattern, content)
         if len(results) > 1:
             props.add_unexplained_error(
-                "single-search parser can't be used for anytime planner"
+                f"Found multiple occurences of {pattern} in logfile. "
+                f"Single-search parser can't be used for anytime planner."
             )