From d245f65649099f46a98e0b0205a3c12f99efe1da Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Nov 2019 20:23:48 +0100
Subject: [PATCH] Fixed Testcase for replacing of unassigned variables.

---
 src/test/storm/builder/ExplicitJaniModelBuilderTest.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/test/storm/builder/ExplicitJaniModelBuilderTest.cpp b/src/test/storm/builder/ExplicitJaniModelBuilderTest.cpp
index 5d632e56a..af116aed9 100644
--- a/src/test/storm/builder/ExplicitJaniModelBuilderTest.cpp
+++ b/src/test/storm/builder/ExplicitJaniModelBuilderTest.cpp
@@ -7,6 +7,8 @@
 #include "storm/builder/ExplicitModelBuilder.h"
 #include "storm/generator/JaniNextStateGenerator.h"
 #include "storm/storage/jani/Model.h"
+#include "storm/storage/jani/Property.h"
+#include "storm-parsers/api/model_descriptions.h"
 
 
 TEST(ExplicitJaniModelBuilderTest, Dtmc) {
@@ -149,8 +151,7 @@ TEST(ExplicitJaniModelBuilderTest, FailComposition) {
 }
 
 TEST(ExplicitJaniModelBuilderTest, unassignedVariables) {
-    storm::prism::Program program = storm::parser::PrismParser::parse(STORM_TEST_RESOURCES_DIR "/mdp/unassigned-variables.jani");
-    storm::jani::Model janiModel = program.toJani();
+    storm::jani::Model janiModel = storm::api::parseJaniModel(STORM_TEST_RESOURCES_DIR "/mdp/unassigned-variables.jani").first;
     std::shared_ptr<storm::models::sparse::Model<double>> model = storm::builder::ExplicitModelBuilder<double>(janiModel).build();
     EXPECT_EQ(25ul, model->getNumberOfStates());
     EXPECT_EQ(81ul, model->getNumberOfTransitions());