Browse Source

Reverted debug change in test.

Former-commit-id: efeacaf595
tempestpy_adaptions
dehnert 10 years ago
parent
commit
93a08538e3
  1. 1
      test/functional/parser/PrismParserTest.cpp

1
test/functional/parser/PrismParserTest.cpp

@ -94,7 +94,6 @@ TEST(PrismParser, ComplexTest) {
endrewards)"; endrewards)";
storm::prism::Program result; storm::prism::Program result;
result = storm::parser::PrismParser::parseFromString(testInput, "testfile");
EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput, "testfile")); EXPECT_NO_THROW(result = storm::parser::PrismParser::parseFromString(testInput, "testfile"));
EXPECT_EQ(storm::prism::Program::ModelType::MA, result.getModelType()); EXPECT_EQ(storm::prism::Program::ModelType::MA, result.getModelType());
EXPECT_EQ(3, result.getNumberOfModules()); EXPECT_EQ(3, result.getNumberOfModules());

Loading…
Cancel
Save