From 868f42b38b6a8188aacc08962c07e5ceadd2d5bb Mon Sep 17 00:00:00 2001
From: lukpo <lukas.posch@student.tugraz.at>
Date: Thu, 12 Aug 2021 09:43:22 +0200
Subject: [PATCH] Bounded LTL formula check for FragmentCheckerTest Rpatl

---
 src/test/storm/logic/FragmentCheckerTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/storm/logic/FragmentCheckerTest.cpp b/src/test/storm/logic/FragmentCheckerTest.cpp
index 53993b677..866e63fb0 100644
--- a/src/test/storm/logic/FragmentCheckerTest.cpp
+++ b/src/test/storm/logic/FragmentCheckerTest.cpp
@@ -193,6 +193,6 @@ TEST(FragmentCheckerTest, Rpatl) {
     ASSERT_NO_THROW(formula = formulaParser.parseSingleFormulaFromString("<<player1>> R=? [C<=3]"));
     EXPECT_FALSE(checker.conformsToSpecification(*formula, rpatl));
 
-    ASSERT_NO_THROW(formula = formulaParser.parseSingleFormulaFromString("<<1,2,3>> Pmin=? [F \"label\"]"));
+    ASSERT_NO_THROW(formula = formulaParser.parseSingleFormulaFromString("<<1,2,3>> Pmin=? [F [2,5] \"label\"]"));
     EXPECT_TRUE(checker.conformsToSpecification(*formula, rpatl));
 }