diff --git a/lib/pddlparse/tests/TestParser.cpp b/lib/pddlparse/tests/TestParser.cpp index 3129507..e4b32eb 100644 --- a/lib/pddlparse/tests/TestParser.cpp +++ b/lib/pddlparse/tests/TestParser.cpp @@ -44,4 +44,12 @@ TEST_CASE("[PDDL parser] Check past issues", "[PDDL parser]") CHECK(types[4]->parentTypes[1]->declaration == types[2].get()); CHECK(types[4]->parentTypes[2]->declaration == types[3].get()); } + + // Check that whitespace is handled appropriately + SECTION("“either” in typing section") + { + const auto domainFile = fs::path("data") / "test-cases" / "white-space.pddl"; + context.tokenizer.read(domainFile); + CHECK_NOTHROW(pddl::parseDescription(context)); + } } diff --git a/tests/TestPDDLParser.cpp b/tests/TestPDDLParser.cpp index 69b4f3a..0d03ddf 100644 --- a/tests/TestPDDLParser.cpp +++ b/tests/TestPDDLParser.cpp @@ -357,7 +357,7 @@ TEST_CASE("[PDDL parser] White spaces are ignored", "[PDDL parser]") plasp::output::Logger logger; Context context(Tokenizer(), logger); - CHECK_NOTHROW(Description::fromFile("data/white-space-test.pddl", context)); + CHECK_NOTHROW(Description::fromFile("data/test-cases/white-space.pddl", context)); } //////////////////////////////////////////////////////////////////////////////////////////////////// diff --git a/tests/data/white-space-test.pddl b/tests/data/test-cases/white-space.pddl similarity index 100% rename from tests/data/white-space-test.pddl rename to tests/data/test-cases/white-space.pddl