diff --git a/test/functional/parser/ParsePrismTest.cpp b/test/functional/parser/ParsePrismTest.cpp index baead3ad3..c40e5201d 100644 --- a/test/functional/parser/ParsePrismTest.cpp +++ b/test/functional/parser/ParsePrismTest.cpp @@ -9,7 +9,7 @@ TEST(ParsePrismTest, parseCrowds5_5) { storm::ir::Program program; - ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile("examples/dtmc/crowds/crowds5_5.pm")); + ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds5_5.pm")); storm::adapters::ExplicitModelAdapter adapter(program); std::shared_ptr> model = adapter.getModel()->as>(); @@ -20,7 +20,7 @@ TEST(ParsePrismTest, parseCrowds5_5) { TEST(ParsePrismTest, parseTwoDice) { storm::ir::Program program; - ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile("examples/mdp/two_dice/two_dice.nm")); + ASSERT_NO_THROW(program = storm::parser::PrismParserFromFile(STORM_CPP_BASE_PATH "/examples/mdp/two_dice/two_dice.nm")); storm::adapters::ExplicitModelAdapter adapter(program); std::shared_ptr> model = adapter.getModel()->as>();