From 4642ed23beda1cd00fa65d573699ae10d2262d44 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 15 Feb 2017 11:11:07 +0100 Subject: [PATCH] enable pcaa tests when hypro is not available --- src/test/modelchecker/SparseMaPcaaModelCheckerTest.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/modelchecker/SparseMaPcaaModelCheckerTest.cpp b/src/test/modelchecker/SparseMaPcaaModelCheckerTest.cpp index fd29ceb67..edd02b2e4 100644 --- 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 */