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

Replicated test cases with missing or mismatched domains in PDDL parsing library.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-19 00:40:38 +02:00
parent 40b43217fc
commit d0d141ef99
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
lib/pddlparse/tests/TestParser.cpp
View File

@ -8,6 +8,7 @@
namespace fs = std::experimental::filesystem;
const pddl::Context::WarningCallback ignoreWarnings = [](const auto &, const auto &warning){std::cout << warning << std::endl;};
const auto pddlInstanceBasePath = fs::path("data") / "pddl-instances";
////////////////////////////////////////////////////////////////////////////////////////////////////
@ -52,4 +53,20 @@ TEST_CASE("[PDDL parser] Check past issues", "[PDDL parser]")
context.tokenizer.read(domainFile);
CHECK_NOTHROW(pddl::parseDescription(context));
}
SECTION("missing domains are detected")
{
const auto instanceFile = fs::path("data") / "pddl-instances" / "ipc-2000" / "domains" / "blocks-strips-typed" / "instances" / "instance-1.pddl";
context.tokenizer.read(instanceFile);
CHECK_THROWS(pddl::parseDescription(context));
}
SECTION("mismatched domains are detected")
{
const auto domainFile = fs::path("data") / "pddl-instances" / "ipc-2000" / "domains" / "blocks-strips-typed" / "domain.pddl";
const auto instanceFile = fs::path("data") / "pddl-instances" / "ipc-2000" / "domains" / "freecell-strips-typed" / "instances" / "instance-1.pddl";
context.tokenizer.read(domainFile);
context.tokenizer.read(instanceFile);
CHECK_THROWS(pddl::parseDescription(context));
}
}