From bf0ec34024aba8dd7dc3e0dc019f3a5007611eac Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Nov 2019 20:25:38 +0100
Subject: [PATCH] Skipping more tests in case of oldish z3 version.

---
 .../SparseMdpPcaaMultiObjectiveModelCheckerTest.cpp       | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/test/storm/modelchecker/multiobjective/SparseMdpPcaaMultiObjectiveModelCheckerTest.cpp b/src/test/storm/modelchecker/multiobjective/SparseMdpPcaaMultiObjectiveModelCheckerTest.cpp
index 1d3d7cc73..bed96b7b1 100755
--- a/src/test/storm/modelchecker/multiobjective/SparseMdpPcaaMultiObjectiveModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/multiobjective/SparseMdpPcaaMultiObjectiveModelCheckerTest.cpp
@@ -96,6 +96,10 @@ TEST(SparseMdpPcaaMultiObjectiveModelCheckerTest, team3with3objectives) {
 }
 
 TEST(SparseMdpPcaaMultiObjectiveModelCheckerTest, scheduler) {
+    if (!storm::test::z3AtLeastVersion(4,8,5)) {
+        GTEST_SKIP() << "Test disabled since it triggers a bug in the installed version of z3.";
+    }
+
     storm::Environment env;
     env.modelchecker().multi().setMethod(storm::modelchecker::multiobjective::MultiObjectiveMethod::Pcaa);
     
@@ -114,6 +118,10 @@ TEST(SparseMdpPcaaMultiObjectiveModelCheckerTest, scheduler) {
 }
 
 TEST(SparseMdpPcaaMultiObjectiveModelCheckerTest, dpm) {
+    if (!storm::test::z3AtLeastVersion(4,8,5)) {
+        GTEST_SKIP() << "Test disabled since it triggers a bug in the installed version of z3.";
+    }
+
     storm::Environment env;
     env.modelchecker().multi().setMethod(storm::modelchecker::multiobjective::MultiObjectiveMethod::Pcaa);