Recent fix covers psr-small as well.

aibasel · Oct 25, 2021 · 65b54cc · 65b54cc
1 parent fbdfa5e
commit 65b54cc
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/docs/news.rst b/docs/news.rst
@@ -10,7 +10,7 @@ Lab
 
 Downward Lab
 ^^^^^^^^^^^^
-* Fix rules for finding domain files for airport domain (Silvan Sievers).
+* Fix rules for finding domain files for airport and psr-small domains (Silvan Sievers).
 * Add more ticks on y axis in relative plots (Jendrik Seipp).
 
 

diff --git a/downward/suites.py b/downward/suites.py
@@ -8,17 +8,17 @@ def find_domain_file(benchmarks_dir, domain, problem):
 
     For a given problem filename "<taskname>.<ext>", check the following
     domain filenames: "domain.pddl", "<taskname>-domain.<ext>",
-    "domain_<taskname>.<ext>" and "domain-<taskname>.<ext>", where ".<ext>"
-    is optional. Also check "<xyz>-domain.pddl" where <xyz> are the first
-    three characters of the task file name, to cover the airport domain
-    where task file names are p01-xxx.pddl and domain file names are
-    p01-domain.pddl.
+    "domain_<taskname>.<ext>" and "domain-<taskname>.<ext>", where
+    ".<ext>" is optional. Also check "<xyz>-domain.pddl" where <xyz> are
+    the first three characters of the task file name, to cover the airport
+    and psr-small domains, where problem file names are p01-xxx.pddl and
+    domain file names are p01-domain.pddl.
     """
     problem_root, ext = os.path.splitext(problem)
     domain_basenames = [
         "domain.pddl",
         problem_root + "-domain" + ext,
-        problem_root[:3] + "-domain.pddl",  # for airport
+        problem_root[:3] + "-domain.pddl",  # for airport and psr-small
         "domain_" + problem,
         "domain-" + problem,
     ]