From 4ad9355e4724d956f0a8a6e05d9fdc97a92f543b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 31 Aug 2017 19:08:28 +0200 Subject: [PATCH] Removed domains from blacklist that are now supported by parser. --- .../tests/TestAcceptanceOfOfficialPDDLInstances.cpp | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/lib/pddl/tests/TestAcceptanceOfOfficialPDDLInstances.cpp b/lib/pddl/tests/TestAcceptanceOfOfficialPDDLInstances.cpp index bd15ea2..c6f6ffa 100644 --- a/lib/pddl/tests/TestAcceptanceOfOfficialPDDLInstances.cpp +++ b/lib/pddl/tests/TestAcceptanceOfOfficialPDDLInstances.cpp @@ -13,12 +13,6 @@ const auto pddlInstanceBasePath = fs::path("data") / "pddl-instances"; const std::set unsupportedDomains = { - // “=” expressions unsupported - pddlInstanceBasePath / "ipc-1998" / "domains" / "assembly-round-1-adl" / "domain.pddl", - // “=” expressions unsupported - pddlInstanceBasePath / "ipc-1998" / "domains" / "mystery-prime-round-1-strips" / "domain.pddl", - // “=” expressions unsupported - pddlInstanceBasePath / "ipc-1998" / "domains" / "mystery-prime-round-2-strips" / "domain.pddl", // “:functions” sections unsupported pddlInstanceBasePath / "ipc-2002" / "domains" / "depots-numeric-automatic" / "domain.pddl", // “:functions” sections unsupported @@ -69,10 +63,6 @@ const std::set unsupportedDomains = pddlInstanceBasePath / "ipc-2002" / "domains" / "satellite-numeric-hand-coded" / "domain.pddl", // “:functions” sections unsupported pddlInstanceBasePath / "ipc-2002" / "domains" / "satellite-numeric-hard-automatic" / "domain.pddl", - // “=” expressions unsupported - pddlInstanceBasePath / "ipc-2002" / "domains" / "satellite-strips-automatic" / "domain.pddl", - // “=” expressions unsupported - pddlInstanceBasePath / "ipc-2002" / "domains" / "satellite-strips-hand-coded" / "domain.pddl", // “:functions” sections unsupported pddlInstanceBasePath / "ipc-2002" / "domains" / "satellite-time-automatic" / "domain.pddl", // “:functions” sections unsupported