Fixed missing normalization step of arguments to imply statements and extended test to cover the issue.

2016-09-02 19:25:25 +02:00
parent 23e851ccef
commit 63de1891af
2 changed files with 7 additions and 0 deletions
--- a/tests/TestPDDLNormalization.cpp
+++ b/tests/TestPDDLNormalization.cpp
@@ -32,6 +32,8 @@ TEST(PDDLNormalizationTests, Implication)

 	ASSERT_EQ(n.argument(), d1p);
 	ASSERT_EQ(o.arguments()[1], d2p);
+	ASSERT_TRUE(d1p->isNormalized());
+	ASSERT_TRUE(d2p->isNormalized());
 }

 ////////////////////////////////////////////////////////////////////////////////////////////////////