From 7d06eee4ea1716ebfe2bc523f531b522535dc285 Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Wed, 23 Nov 2016 17:44:16 +0100
Subject: [PATCH] adjusted KSP test model path

---
 test/functional/utility/KSPTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/functional/utility/KSPTest.cpp b/test/functional/utility/KSPTest.cpp
index 115eab396..e3c127f4b 100644
--- a/test/functional/utility/KSPTest.cpp
+++ b/test/functional/utility/KSPTest.cpp
@@ -16,7 +16,7 @@
 // FIXME: (almost) all of these fail; the question is: is there actually anything wrong or does the new parser yield a different order of states?
 
 std::shared_ptr<storm::models::sparse::Model<double>> buildExampleModel() {
-	std::string prismModelPath = STORM_CPP_TESTS_BASE_PATH "/functional/builder/brp-16-2.pm";
+	std::string prismModelPath = STORM_TEST_RESOURCES_DIR "/dtmc/brp-16-2.pm";
     storm::storage::SymbolicModelDescription modelDescription = storm::parser::PrismParser::parse(prismModelPath);
     storm::prism::Program program = modelDescription.preprocess().asPrismProgram();
     return storm::builder::ExplicitModelBuilder<double>(program).build();