From d1063b345d9b71abb7b43d30b61bcde34d8a2457 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 9 Jun 2016 23:31:12 +0200 Subject: [PATCH] Renamed error detection tests. --- tests/TestPDDLParser.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/TestPDDLParser.cpp b/tests/TestPDDLParser.cpp index e58a372..c5857db 100644 --- a/tests/TestPDDLParser.cpp +++ b/tests/TestPDDLParser.cpp @@ -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"));