From 38770122743e6068162bdd645f48b46fb363433c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 17 Jun 2017 21:10:26 +0200
Subject: [PATCH] Minor extension of unit test covering Blocksworld domain.

---
 lib/pddlparse/tests/TestOfficialPDDLInstances.cpp | 3 +++
 1 file changed, 3 insertions(+)

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