Minor extension of unit test covering Blocksworld domain.

This commit is contained in:
Patrick Lühne 2017-06-17 21:10:26 +02:00
parent e0aca18b38
commit 3877012274
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -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);