enable pcaa tests when hypro is not available

8 years ago · 4642ed23be
1 changed files with 2 additions and 2 deletions
--- a/src/test/modelchecker/SparseMaPcaaModelCheckerTest.cpp
+++ b/src/test/modelchecker/SparseMaPcaaModelCheckerTest.cpp
@ -1,7 +1,7 @@
 #include "gtest/gtest.h"
 #include "storm-config.h"

-#ifdef STORM_HAVE_HYPRO
+#if defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE

 #include "storm/modelchecker/multiobjective/pcaa.h"
 #include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h"
@ -185,4 +185,4 @@ TEST(SparseMaPcaaModelCheckerTest, jobscheduler_pareto_2Obj) {
 }


-#endif /* STORM_HAVE_HYPRO */
+#endif /*  defined STORM_HAVE_HYPRO || defined STORM_HAVE_Z3_OPTIMIZE */