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

Renamed error detection tests.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-09 23:31:12 +02:00
parent dea879199a
commit d1063b345d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/TestPDDLParser.cpp
View File

@ -344,7 +344,7 @@ TEST(PDDLParserTests, ParseWithWhiteSpace)
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST(PDDLParserTests, CheckWrongDomain)
TEST(PDDLParserTests, DetectWrongDomain)
{
ASSERT_THROW(Description::fromFile("data/blocksworld-problem.pddl"), ConsistencyException);
ASSERT_THROW(Description::fromFiles({"data/blocksworld-problem.pddl", "data/storage-domain.pddl"}), plasp::utils::ParserException);
@ -352,7 +352,7 @@ TEST(PDDLParserTests, CheckWrongDomain)
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST(PDDLParserTests, CheckSyntaxErrors)
TEST(PDDLParserTests, DetectSyntaxErrors)
{
ASSERT_NO_THROW(Description::fromFile("data/pddl-syntax/domain-valid.pddl"));
@ -393,7 +393,7 @@ TEST(PDDLParserTests, CheckSyntaxErrors)
////////////////////////////////////////////////////////////////////////////////////////////////////
TEST(PDDLParserTests, CheckIssues)
TEST(PDDLParserTests, DetectIssues)
{
// Check white space issues with constants and parsing unsupported sections
ASSERT_NO_THROW(Description::fromFile("data/issues/issue-1.pddl"));