patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Removed domains from blacklist that are now supported by parser.

This commit is contained in:
Patrick Lühne 2017-08-31 19:08:28 +02:00
parent 1dee4655a7
commit 4ad9355e47
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/pddl/tests/TestAcceptanceOfOfficialPDDLInstances.cpp
View File

@ -13,12 +13,6 @@ const auto pddlInstanceBasePath = fs::path("data") / "pddl-instances";
const std::set<std::experimental::filesystem::path> 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<std::experimental::filesystem::path> 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