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

Added test covering SAS feature requirements.

Browse Source
This commit is contained in:
Patrick Lühne 2016-05-24 02:03:13 +02:00
parent ee0b446230
commit 430bedc2cc
2 changed files with 5487 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
tests/TestSASParser.cpp
View File

@ -14,6 +14,7 @@ class SASParserTests : public ::testing::Test
protected: protected:
SASParserTests() SASParserTests()
: m_blocksworldTestFile(readFile("data/blocksworld.sas")), : m_blocksworldTestFile(readFile("data/blocksworld.sas")),
m_cavedivingTestFile(readFile("data/cavediving.sas")),
m_freecellTestFile(readFile("data/freecell.sas")), m_freecellTestFile(readFile("data/freecell.sas")),
m_philosophersTestFile(readFile("data/philosophers.sas")) m_philosophersTestFile(readFile("data/philosophers.sas"))
{ {
@ -34,6 +35,7 @@ class SASParserTests : public ::testing::Test
} }
std::stringstream m_blocksworldTestFile; std::stringstream m_blocksworldTestFile;
std::stringstream m_cavedivingTestFile;
std::stringstream m_freecellTestFile; std::stringstream m_freecellTestFile;
std::stringstream m_philosophersTestFile; std::stringstream m_philosophersTestFile;
}; };
@ -124,7 +126,7 @@ TEST_F(SASParserTests, RemoveTrailingParentheses)
} }
catch (const std::exception &e) catch (const std::exception &e)
{ {
FAIL () << e.what(); FAIL() << e.what();
} }
} }
@ -142,7 +144,25 @@ TEST_F(SASParserTests, ParseNoneValue)
} }
catch (const std::exception &e) catch (const std::exception &e)
{ {
FAIL () << e.what(); FAIL() << e.what();
}
}
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST_F(SASParserTests, ParseRequirements)
{
try
{
const auto description = plasp::sas::Description::fromStream(m_cavedivingTestFile);
ASSERT_TRUE(description.usesActionCosts());
ASSERT_TRUE(description.usesConditionalEffects());
ASSERT_FALSE(description.usesAxiomRules());
}
catch (const std::exception &e)
{
FAIL() << e.what();
} }
} }

5465
tests/data/cavediving.sas Normal file
View File

File diff suppressed because it is too large Load Diff