From 8212cadf00372b9f4d39f0bdb9bca1c2d97e4efe Mon Sep 17 00:00:00 2001 From: TimQu Date: Thu, 16 Mar 2017 15:29:57 +0100 Subject: [PATCH] adapted changed filename in test --- src/test/utility/ModelInstantiatorTest.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/utility/ModelInstantiatorTest.cpp b/src/test/utility/ModelInstantiatorTest.cpp index 145881598..3e6e80474 100644 --- a/src/test/utility/ModelInstantiatorTest.cpp +++ b/src/test/utility/ModelInstantiatorTest.cpp @@ -208,7 +208,7 @@ TEST(ModelInstantiatorTest, Brp_Rew) { TEST(ModelInstantiatorTest, Consensus) { carl::VariablePool::getInstance().clear(); - std::string programFile = STORM_TEST_RESOURCES_DIR "/pmdp/coin2_2.pm"; + std::string programFile = STORM_TEST_RESOURCES_DIR "/pmdp/coin2_2.nm"; std::string formulaAsString = "Pmin=? [F \"finished\"&\"all_coins_equal_1\" ]"; // Program and formula