[main] Backport translator test fixes from issue1012.

misc/tests/test-translator.py

@@ -69,18 +69,18 @@ def _get_all_tasks_by_domain(benchmarks_dir):
     # seems to be detrimental on some other domains.
     blacklisted_domains = [
         "agricola-sat18-strips",
-        "citycar-opt14-adl", # cf. issue875
-        "citycar-sat14-adl", # cf. issue875
+        "citycar-opt14-adl",  # cf. issue879
+        "citycar-sat14-adl",  # cf. issue879
         "organic-synthesis-sat18-strips",
         "organic-synthesis-split-opt18-strips",
         "organic-synthesis-split-sat18-strips"]
     benchmarks_dir = Path(benchmarks_dir)
     tasks = defaultdict(list)
     domains = [
-        name for name in benchmarks_dir.iterdir()
-        if name.is_dir() and
-        not str(name).startswith((".", "_")) and
-        str(name) not in blacklisted_domains]
+        domain_dir for domain_dir in benchmarks_dir.iterdir()
+        if domain_dir.is_dir() and
+        not str(domain_dir.name).startswith((".", "_", "unofficial")) and
+        str(domain_dir.name) not in blacklisted_domains]
     for domain in domains:
         path = benchmarks_dir / domain
         tasks[domain] = [