diff --git a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp index 16af348..f9e0326 100644 --- a/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp +++ b/lib/pddlparse/tests/TestOfficialPDDLInstances.cpp @@ -23,6 +23,9 @@ TEST_CASE("[PDDL parser] The official PDDL instances are parsed correctly", "[PD context.tokenizer.read(domainFile); auto description = pddl::parseDescription(context); + CHECK(description.domain->name == "blocks"); + CHECK(description.domain->constants.empty()); + const auto &types = description.domain->types; REQUIRE(types.size() == 1);