From 3a3587370ed2e093977d4f618e08091b766a8d92 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 5 Aug 2021 11:30:41 +0200
Subject: [PATCH] Skip a test if LTL model checking is not available.

---
 .../modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp  | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
index 07475ce7a..58359c41a 100755
--- a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
@@ -351,6 +351,7 @@ namespace {
     }
 
     TYPED_TEST(MarkovAutomatonCslModelCheckerTest, LtlSimple) {
+#ifdef STORM_HAVE_LTL_MODELCHECKING_SUPPORT
         std::string formulasString = "Pmax=? [X X s=3]";
         formulasString += "; Pmax=? [X X G s>2]";
         formulasString += "; Pmin=? [X X G s>2]";
@@ -382,6 +383,8 @@ namespace {
         } else {
             EXPECT_FALSE(checker->canHandle(tasks[0]));
         }
-
+#else
+        GTEST_SKIP();
+#endif
     }
 }