From 6e858ff52f2ff99379e94b4b3788220d165da06c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 24 Jun 2017 21:44:00 +0200 Subject: [PATCH] Enabled test case again by exchanging unsupported input file. --- lib/pddlparse/tests/TestOfficialPDDLInstances.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp index fc170e4..9b85721 100644 --- a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp +++ b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp @@ -186,17 +186,17 @@ TEST_CASE("[PDDL instances] The official PDDL instances are parsed correctly", " CHECK(goal2->arguments[1].get()->declaration->type.value().get()->declaration == typeBlock.get()); } - /*SECTION("“either” type in zenotravel domain") + SECTION("“either” type in zenotravel domain") { context.mode = pddl::Mode::Compatibility; - const auto domainFile = pddlInstanceBasePath / "ipc-2002" / "domains" / "zenotravel-numeric-hand-coded" / "domain.pddl"; + const auto domainFile = pddlInstanceBasePath / "ipc-2002" / "domains" / "zenotravel-strips-hand-coded" / "domain.pddl"; context.tokenizer.read(domainFile); auto description = pddl::parseDescription(context); const auto &predicates = description.domain->predicates; - REQUIRE(predicates.size() == 2); + REQUIRE(predicates.size() == 4); REQUIRE(predicates[0]->name == "at"); REQUIRE(predicates[0]->parameters.size() == 2); REQUIRE(predicates[0]->parameters[0]->name == "x"); @@ -206,7 +206,7 @@ TEST_CASE("[PDDL instances] The official PDDL instances are parsed correctly", " REQUIRE(predicates[0]->parameters[1]->name == "c"); REQUIRE(predicates[0]->parameters[1]->type); CHECK(predicates[0]->parameters[1]->type.value().get()->declaration->name == "city"); - }*/ + } SECTION("typed constants in schedule domain") {