From 300f7118f269e2b9188e936564370fb5d573efb4 Mon Sep 17 00:00:00 2001 From: caballa Date: Mon, 18 Sep 2023 22:47:03 -0600 Subject: [PATCH] fix(test): instantiate only if APRON/PPLITE enabled --- tests/crab_inst.hpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/crab_inst.hpp b/tests/crab_inst.hpp index 865d9c59..07d04470 100644 --- a/tests/crab_inst.hpp +++ b/tests/crab_inst.hpp @@ -39,9 +39,13 @@ Z_RUNNER(crab::domain_impl::z_pk_apron_domain_t) Z_RUNNER(crab::domain_impl::z_poly_pplite_domain_t) Z_RUNNER(crab::domain_impl::z_fpoly_pplite_domain_t) Z_RUNNER(crab::domain_impl::z_pset_pplite_domain_t) +#ifdef HAVE_APRON Z_RUNNER(crab::domain_impl::z_dummy_decoupled_box_domain_t) +#endif +#ifdef HAVE_PPLITE Z_RUNNER(crab::domain_impl::z_decoupled_box_poly_domain_t) Z_RUNNER(crab::domain_impl::z_decoupled_box_pset_domain_t) +#endif Z_RUNNER(crab::domain_impl::z_zones_elina_domain_t) Z_RUNNER(crab::domain_impl::z_oct_elina_domain_t) Z_RUNNER(crab::domain_impl::z_pk_elina_domain_t)