From 0e4233cc656288ab142c58204e5f5276e582a404 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 21 May 2016 01:20:27 +0200 Subject: [PATCH] Added tests for parsing value signs. --- tests/TestSASParser.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/TestSASParser.cpp b/tests/TestSASParser.cpp index e9015d2..2dbed80 100644 --- a/tests/TestSASParser.cpp +++ b/tests/TestSASParser.cpp @@ -46,7 +46,11 @@ TEST_F(SASParserTests, ParseValidSASFile) ASSERT_EQ(description.variables().size(), 37); ASSERT_EQ(description.variables()[0].axiomLayer, -1); + ASSERT_EQ(description.variables()[0].values[0].sign, plasp::sas::Value::Sign::Positive); + ASSERT_EQ(description.variables()[0].values[0].name, "activate(philosopher-0, forks--pid-rfork)"); ASSERT_EQ(description.variables()[36].axiomLayer, -1); + ASSERT_EQ(description.variables()[36].values[1].sign, plasp::sas::Value::Sign::Negative); + ASSERT_EQ(description.variables()[36].values[1].name, "queue-tail-msg(forks-1-, fork)"); ASSERT_EQ(description.mutexGroups().size(), 8); ASSERT_EQ(description.mutexGroups()[0].facts.size(), 9);