The MultiObjectiveSchedRestModelCheckerTest now also works without Gurobi.

5 years ago · bba5c65afb
1 changed files with 0 additions and 4 deletions
--- 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 */