diff --git a/misc/tests/test-translator.py b/misc/tests/test-translator.py index 011d8b2e34..52a5231563 100755 --- a/misc/tests/test-translator.py +++ b/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] = [