From a0e68a9d228730fe190a046e6963640c907ad015 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 7 Nov 2019 12:56:55 +0100
Subject: [PATCH] MultiObjectiveSchedRestModelCheckerTest: The test should not
 be executed if the installed z3 version is too old for optimization.

---
 .../modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp  | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
index d6a0b25c6..1c9f3ea9f 100644
--- a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp
@@ -16,6 +16,8 @@
 #include "storm/environment/Environment.h"
 #include "storm/exceptions/InvalidOperationException.h"
 
+#if defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE
+
 namespace {
     
     storm::Environment getPositionalDeterministicEnvironment() {
@@ -393,3 +395,5 @@ namespace {
         
     }
 }
+
+#endif /* defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE */
\ No newline at end of file