From 8d11ed9f42b08bf7d5a216a9661faa698d7fb291 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Fri, 3 Sep 2021 15:16:09 +0200
Subject: [PATCH] added first rpatl fragment checker tests

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

diff --git a/src/test/storm/logic/FragmentCheckerTest.cpp b/src/test/storm/logic/FragmentCheckerTest.cpp
index 9f2df5ccd..440adffce 100644
--- a/src/test/storm/logic/FragmentCheckerTest.cpp
+++ b/src/test/storm/logic/FragmentCheckerTest.cpp
@@ -169,6 +169,7 @@ TEST(FragmentCheckerTest, MultiObjective) {
     EXPECT_FALSE(checker.conformsToSpecification(*formula, multiobjective));
 }
 
+
 TEST(FragmentCheckerTest, Rpatl) {
     auto expManager = std::make_shared<storm::expressions::ExpressionManager>();
     storm::logic::FragmentChecker checker;