From 88fbf032e6c45e61c51ae089aee9eb9faa38163f Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 13 Jun 2013 22:43:25 +0200
Subject: [PATCH] Added BASE_PATH to ParsePrismTest.cpp

Former-commit-id: c06ad0c43e3403ca56ea5273cc6d2dcaba1c3b0f
---
 test/functional/parser/ParsePrismTest.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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<storm::models::Dtmc<double>> model = adapter.getModel()->as<storm::models::Dtmc<double>>();
@@ -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<storm::models::Mdp<double>> model = adapter.getModel()->as<storm::models::Mdp<double>>();