patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Testing goal for Storage problem.

This commit is contained in:
Patrick Lühne 2016-06-09 23:21:05 +02:00
parent 5cd22d284b
commit 9a034cb556
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/TestPDDLParser.cpp
View File

@ -293,7 +293,17 @@ TEST(PDDLParserTests, ParseStorageProblem)
ASSERT_NE(fact90.type(), nullptr);
ASSERT_EQ(fact90.type()->name(), "hoist");
// TODO: check goal
// Goal
const auto &goal = dynamic_cast<const expressions::And &>(problem.goal());
ASSERT_EQ(goal.arguments().size(), 1u);
const auto &goal0 = *dynamic_cast<expressions::Predicate *>(goal.arguments()[0].get());
ASSERT_EQ(goal0.name(), "in");
ASSERT_EQ(goal0.arguments().size(), 2u);
const auto &goal00 = *dynamic_cast<expressions::Reference<expressions::Constant> *>(goal0.arguments()[0].get())->value();
ASSERT_EQ(goal00.name(), "crate0");
const auto &goal01 = *dynamic_cast<expressions::Reference<expressions::Constant> *>(goal0.arguments()[1].get())->value();
ASSERT_EQ(goal01.name(), "depot0");
}
////////////////////////////////////////////////////////////////////////////////////////////////////