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

Sectioning unit tests for meaningful error messages.

This commit is contained in:
Patrick Lühne 2017-06-17 17:07:09 +02:00
parent c84cafda18
commit de69003105
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 22 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
lib/pddlparse/tests/TestAcceptanceOfOfficialPDDLInstances.cpp
View File

@ -26,11 +26,17 @@ TEST_CASE("[PDDL parser acceptance] All official PDDL domains are parsed without
const auto domainFile = domainDirectory / "domain.pddl";
pddl::Tokenizer tokenizer;
tokenizer.read(domainFile);
pddl::Context context(std::move(tokenizer), ignoreWarnings);
const auto testSectionName = competitionDirectory.path().stem().string() + ", "
+ domainDirectory.path().stem().string();
CHECK_NOTHROW(pddl::parseDescription(context));
SECTION("domain [" + testSectionName + "]")
{
pddl::Tokenizer tokenizer;
tokenizer.read(domainFile);
pddl::Context context(std::move(tokenizer), ignoreWarnings);
CHECK_NOTHROW(pddl::parseDescription(context));
}
}
}
}
@ -52,12 +58,19 @@ TEST_CASE("[PDDL parser acceptance] The first instance for all official PDDL dom
const auto domainFile = domainDirectory / "domain.pddl";
const auto instanceFile = domainDirectory / "instances" / "instance-1.pddl";
pddl::Tokenizer tokenizer;
tokenizer.read(domainFile);
tokenizer.read(instanceFile);
pddl::Context context(std::move(tokenizer), ignoreWarnings);
const auto testSectionName = competitionDirectory.path().stem().string() + ", "
+ domainDirectory.path().stem().string() + ", "
+ instanceFile.stem().string();
CHECK_NOTHROW(pddl::parseDescription(context));
SECTION("instance [" + testSectionName + "]")
{
pddl::Tokenizer tokenizer;
tokenizer.read(domainFile);
tokenizer.read(instanceFile);
pddl::Context context(std::move(tokenizer), ignoreWarnings);
CHECK_NOTHROW(pddl::parseDescription(context));
}
}
}
}