From 40b43217fcfd30bfce73d9c4e771c51db65dded3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 19 Jun 2017 00:35:31 +0200 Subject: [PATCH] Replicated white space test case in new PDDL parsing library. --- lib/pddlparse/tests/TestParser.cpp | 8 ++++++++ tests/TestPDDLParser.cpp | 2 +- .../white-space.pddl} | 0 3 files changed, 9 insertions(+), 1 deletion(-) rename tests/data/{white-space-test.pddl => test-cases/white-space.pddl} (100%) 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