fix testfile

5 years ago · f43cb6a798
1 changed files with 3 additions and 1 deletions
--- a/src/test/storm/parser/PrismParserTest.cpp
+++ b/src/test/storm/parser/PrismParserTest.cpp
@ -174,8 +174,10 @@ TEST(PrismParser, NAryPredicates) {
    label "test" = atMostOneOf(s=0, s=3, s=4);
    label "test2" = exactlyOneOf(s=0, i, !i & s=3);
    )";
+    storm::prism::Program result;

-    EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput2, "testfile"));
+
+    EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput, "testfile"));
 }

 TEST(PrismParser, IllegalInputTest) {