From 4b05236381796c5d3cfafd790f222ce0922de135 Mon Sep 17 00:00:00 2001 From: caballa Date: Wed, 28 Jun 2023 12:44:32 -0600 Subject: [PATCH] fix(apron_domain): adapt to new pplite 0.11 api This fix is related to commit f04d015cd0dab117b9560afa1bb3be70ebecf8d9 --- include/crab/domains/apron_domains.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/crab/domains/apron_domains.hpp b/include/crab/domains/apron_domains.hpp index 00c29a07..53622e7a 100644 --- a/include/crab/domains/apron_domains.hpp +++ b/include/crab/domains/apron_domains.hpp @@ -1864,10 +1864,10 @@ class apron_domain final #ifdef HAVE_PPLITE assert(is_disjunctive(src_id)); // src is a PolySet, dst is a (set of) polyhedron - auto num_disj = ap_pplite_poly_num_disjuncts(src_man, src_val); + auto num_disj = ap_pplite_abstract0_num_disjuncts(src_man, src_val); assert(num_disj > 0); for (auto d = 0; d < num_disj; ++d) { - auto lca = ap_pplite_poly_disj_to_lincons_array(src_man, src_val, d); + auto lca = ap_pplite_abstract0_disj_to_lincons_array(src_man, src_val, d); auto poly = ap_abstract0_of_lincons_array(dst_man, idim, rdim, &lca); ap_lincons0_array_clear(&lca); // First disjunct is assigned to dst_val, others are joined.