From bba5c65afbea6395d25aa8f108685194feda96b6 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 6 Nov 2019 12:52:57 +0100 Subject: [PATCH] The MultiObjectiveSchedRestModelCheckerTest now also works without Gurobi. --- .../modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp index 9645c4673..d6a0b25c6 100644 --- a/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/MultiObjectiveSchedRestModelCheckerTest.cpp @@ -1,8 +1,6 @@ #include "gtest/gtest.h" #include "storm-config.h" -#if defined STORM_HAVE_GUROBI - #include "storm/modelchecker/multiobjective/multiObjectiveModelChecking.h" #include "storm/environment/modelchecker/MultiObjectiveModelCheckerEnvironment.h" @@ -395,5 +393,3 @@ namespace { } } - -#endif /* STORM_HAVE_GUROBI */