patrick
/
plasp
Archived
1
0
Fork 0

Fixed incorrect names of test cases.

This commit is contained in:
Patrick Lühne 2017-06-19 00:42:36 +02:00
parent d0d141ef99
commit de648fbb1d
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 2 additions and 2 deletions

View File

@ -12,7 +12,7 @@ const auto pddlInstanceBasePath = fs::path("data") / "pddl-instances";
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST_CASE("[PDDL parser] Check past issues", "[PDDL parser]")
TEST_CASE("[PDDL parser] The PDDL parser behaves correctly", "[PDDL parser]")
{
pddl::Tokenizer tokenizer;
pddl::Context context(std::move(tokenizer), ignoreWarnings);

View File

@ -11,7 +11,7 @@ const pddl::Context::WarningCallback ignoreWarnings = [](const auto &, const aut
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST_CASE("[PDDL signature matching] The official PDDL instances are parsed correctly", "[PDDL signature matching]")
TEST_CASE("[PDDL signature matching] Predicate signatures are matched correctly", "[PDDL signature matching]")
{
std::stringstream input;
pddl::Tokenizer tokenizer;