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> 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(program).build();