June 2014 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Trailing whitespace removed.
by Roberto Bagnara 20 Jun '14

20 Jun '14

Module: ppl/ppl Branch: master Commit: fe759bb940ffa3083ec6eca0c8221d388bd2bb64 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe759bb940ff… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jun 12 21:43:12 2014 +0200 Trailing whitespace removed. --- src/Polyhedron_chdims.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_chdims.cc b/src/Polyhedron_chdims.cc index 10a9e45..a52d04c 100644 --- a/src/Polyhedron_chdims.cc +++ b/src/Polyhedron_chdims.cc @@ -420,7 +420,7 @@ PPL::Polyhedron::expand_space_dimension(Variable var, dimension_type m) { Constraint c_template = c; c_template.expr.set_coefficient(var, Coefficient_zero()); - + // Each relevant constraint results in `m' new constraints. for (dimension_type dst_d = old_dim; dst_d < old_dim+m; ++dst_d) { Constraint new_c = c_template;

1 0

[GIT] ppl/ppl(compliance): Typo fixed.
by Roberto Bagnara 20 Jun '14

20 Jun '14

Module: ppl/ppl Branch: compliance Commit: 2c040ae004351cf05e0f37f29d3e7a282776b01c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c040ae00435… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:27:20 2014 +0200 Typo fixed. --- src/Constraint.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Constraint.cc b/src/Constraint.cc index 82308ee..f3c6a6b 100644 --- a/src/Constraint.cc +++ b/src/Constraint.cc @@ -92,7 +92,7 @@ PPL::Constraint if (cycle.size() < 2) { // No-op. No need to call sign_normalize(). return; - !} + } expr.permute_space_dimensions(cycle); // *this is still normalized but may be not strongly normalized:

1 0

[GIT] ppl/ppl(compliance): Permissions fixed.
by Roberto Bagnara 20 Jun '14

20 Jun '14

Module: ppl/ppl Branch: compliance Commit: 178fed3200d9b837ca003f790e8969c2c029801e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=178fed3200d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:18:25 2014 +0200 Permissions fixed. --- 0 files changed, 0 insertions(+), 0 deletions(-) diff --git a/src/BHRZ03_Certificate.cc b/src/BHRZ03_Certificate.cc old mode 100755 new mode 100644 diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc old mode 100755 new mode 100644

1 0

[GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
by Roberto Bagnara 20 Jun '14

20 Jun '14

Module: ppl/ppl Branch: compliance Commit: b8be0e6326fe0aef445832b58442e7ad057b4586 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8be0e6326fe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 20 11:15:47 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR. --- src/Box_templates.hh | 1085 ++++++++++++++++++++++++++++++++------------------ 1 files changed, 690 insertions(+), 395 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b8be0e63…

1 0

[GIT] ppl/ppl(compliance): Deleted trailing whitespace.
by Roberto Bagnara 20 Jun '14

20 Jun '14

1 0

[GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-4-1 detected by ECLAIR.
by Patrik Pomelli 20 Jun '14

20 Jun '14

1 0

[GIT] ppl/ppl(compliance): Deleted trailing whitespace.
by Roberto Bagnara 18 Jun '14

18 Jun '14

Module: ppl/ppl Branch: compliance Commit: b66d4542348843ce6ac4fe8efc6f3686f0055117 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66d45423488… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Jun 18 21:56:56 2014 +0200 Deleted trailing whitespace. --- src/Box_templates.hh | 12 ++++++------ src/Generator_inlines.hh | 2 +- src/Linear_System_inlines.hh | 2 +- src/MIP_Problem.cc | 2 +- src/Polyhedron_nonpublic.cc | 4 ++-- src/Polyhedron_public.cc | 4 ++-- 6 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/Box_templates.hh b/src/Box_templates.hh index 092283e..078577b 100755 --- a/src/Box_templates.hh +++ b/src/Box_templates.hh @@ -1340,7 +1340,7 @@ Box<ITV>::affine_dimension() const { if (seq[k].is_singleton()) --d; } - + return d; } @@ -1739,7 +1739,7 @@ Box<ITV>::drop_some_non_integer_points(Complexity_Class) { for (dimension_type k = seq.size(); k-- > 0; ) { seq[k].drop_some_non_integer_points(); } - + PPL_ASSERT(OK()); } @@ -1764,7 +1764,7 @@ Box<ITV>::drop_some_non_integer_points(const Variables_Set& vars, v_end = vars.end(); v_i != v_end; ++v_i) { seq[*v_i].drop_some_non_integer_points(); } - + PPL_ASSERT(OK()); } @@ -1798,7 +1798,7 @@ Box<ITV>::intersection_assign(const Box& y) { for (dimension_type k = space_dim; k-- > 0; ) { x.seq[k].intersect_assign(y.seq[k]); } - + PPL_ASSERT(x.OK()); } @@ -1822,7 +1822,7 @@ Box<ITV>::upper_bound_assign(const Box& y) { for (dimension_type k = x.seq.size(); k-- > 0; ) { x.seq[k].join_assign(y.seq[k]); } - + PPL_ASSERT(x.OK()); } @@ -1907,7 +1907,7 @@ Box<ITV>::difference_assign(const Box& y) { break; } } - + switch (number_non_contained) { case 0: // `y' covers `x': the difference is empty. diff --git a/src/Generator_inlines.hh b/src/Generator_inlines.hh index 0a85c2e..c3366b4 100644 --- a/src/Generator_inlines.hh +++ b/src/Generator_inlines.hh @@ -436,7 +436,7 @@ Generator::ascii_dump(std::ostream& s) const { expr.ascii_dump(s); s << " "; - + switch (type()) { case Generator::LINE: s << "L "; diff --git a/src/Linear_System_inlines.hh b/src/Linear_System_inlines.hh index ed17b4e..9fc14aa 100644 --- a/src/Linear_System_inlines.hh +++ b/src/Linear_System_inlines.hh @@ -540,7 +540,7 @@ Linear_System<Row>::swap_row_intervals(dimension_type first, for (dimension_type i = first; i < last; ++i) { swap(rows[i], rows[i + offset]); } - + if (first < index_first_pending) // The swaps involved not pending rows, so they may not be sorted anymore. set_sorted(false); diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 54ad205..a174b6d 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1666,7 +1666,7 @@ PPL::MIP_Problem::erase_artificials(const dimension_type begin_artificials, for (dimension_type i = tableau_n_rows; i-- > 0; ) { tableau[i].reset(new_last_column); } - + // ... then properly set the element in the (new) last column, // encoding the kind of optimization; ... { diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 5a9812e..0e71ea6 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1499,7 +1499,7 @@ PPL::Polyhedron::BHZ09_C_poly_hull_assign_if_exact(const Polyhedron& y) { ++num_x_gs_red_in_y; } } - + Bit_Row y_gs_red_in_x; dimension_type num_y_gs_red_in_x = 0; for (dimension_type i = y_gs_num_rows; i-- > 0; ) { @@ -1555,7 +1555,7 @@ PPL::Polyhedron::BHZ09_C_poly_hull_assign_if_exact(const Polyhedron& y) { if (!y_gs_red_in_x[j]) add_generator(y_gs[j]); } - + PPL_ASSERT_HEAVY(OK()); return true; } diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index 60d44f6..d6d630d 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -499,7 +499,7 @@ PPL::Polyhedron::is_bounded() const { if (gen_sys[i].is_line_or_ray()) return false; } - + // The system of generators is composed only by // points and closure points: the polyhedron is bounded. return true; @@ -705,7 +705,7 @@ PPL::Polyhedron::constrains(const Variable var) const { if (gen_sys[i].is_line()) ++num_lines; } - + if (num_lines == space_dim) return false; }

1 0

[GIT] ppl/ppl(compliance): Readded newlines erased by mistake.
by Patrik Pomelli 18 Jun '14

18 Jun '14

Module: ppl/ppl Branch: compliance Commit: 00014551b6abf9de80d4ef436628c70c3bd74f7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00014551b6ab… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 16 09:02:53 2014 +0200 Readded newlines erased by mistake. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> --- src/MIP_Problem.cc | 1 + src/Polyhedron_nonpublic.cc | 2 ++ src/Polyhedron_public.cc | 2 ++ 3 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 1313c9a..54ad205 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1666,6 +1666,7 @@ PPL::MIP_Problem::erase_artificials(const dimension_type begin_artificials, for (dimension_type i = tableau_n_rows; i-- > 0; ) { tableau[i].reset(new_last_column); } + // ... then properly set the element in the (new) last column, // encoding the kind of optimization; ... { diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index ad1b652..5a9812e 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1499,6 +1499,7 @@ PPL::Polyhedron::BHZ09_C_poly_hull_assign_if_exact(const Polyhedron& y) { ++num_x_gs_red_in_y; } } + Bit_Row y_gs_red_in_x; dimension_type num_y_gs_red_in_x = 0; for (dimension_type i = y_gs_num_rows; i-- > 0; ) { @@ -1554,6 +1555,7 @@ PPL::Polyhedron::BHZ09_C_poly_hull_assign_if_exact(const Polyhedron& y) { if (!y_gs_red_in_x[j]) add_generator(y_gs[j]); } + PPL_ASSERT_HEAVY(OK()); return true; } diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index f844f81..60d44f6 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -499,6 +499,7 @@ PPL::Polyhedron::is_bounded() const { if (gen_sys[i].is_line_or_ray()) return false; } + // The system of generators is composed only by // points and closure points: the polyhedron is bounded. return true; @@ -704,6 +705,7 @@ PPL::Polyhedron::constrains(const Variable var) const { if (gen_sys[i].is_line()) ++num_lines; } + if (num_lines == space_dim) return false; }

1 0

Installation for MingW
by Oliveira, Italo (GE Global Research) 18 Jun '14

18 Jun '14

Hello, I'm trying to install ppl in MingW64 from the sources, but an error is happening: version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__' "Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; ^ make[3]: *** [version.lo] Error 1 make[3]: Leaving directory `/home/Italo/ppl-1.1/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/Italo/ppl-1.1/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/Italo/ppl-1.1' make: *** [all] Error 2 If this is not a known problem, would there be a way just to use the static libraries and includes? Thanks, Ítalo Romani de Oliveira Lead Scientist - Air & Ground Transportation Systems Brazil Technology Center GE Global Research T +55 21 3733 8297<tel:%2B55%2021%203733%204163> M +55 21 96957 2555 iroliveira(a)ge.com<mailto:iroliveira@ge.com> www.ge.com/brasilresearch<http://www.ge.com/brasilresearch> Rua Paulo Emídio Barbosa, 485 - Qd 1 A Parque Tecnológico - Ilha do Fundão 21941-615 - Rio de Janeiro - RJ - Brazil

2 3

[GIT] ppl/ppl(compliance): Removed trailing whitespace.
by Roberto Bagnara 14 Jun '14

14 Jun '14

Module: ppl/ppl Branch: compliance Commit: 8d637a0f6e96e49524dd665b2cde2ad1dddce12d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d637a0f6e96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 14 06:02:43 2014 +0200 Removed trailing whitespace. --- src/BD_Shape.cc | 2 +- src/Bit_Row.cc | 2 +- src/Congruence.cc | 10 +++++----- src/Constraint.cc | 2 +- src/Generator_System.cc | 3 +-- src/Grid_Generator.cc | 2 +- src/Init.cc | 2 +- src/Octagonal_Shape.cc | 5 ++--- src/Polyhedron_nonpublic.cc | 6 +++--- src/Polyhedron_public.cc | 12 ++++++------ tests/Concrete_Expression/digitalfilters1.cc | 6 +++--- tests/Polyhedron/linearsystem1.cc | 2 +- 12 files changed, 26 insertions(+), 28 deletions(-) diff --git a/src/BD_Shape.cc b/src/BD_Shape.cc index 8b591db..13cf2e6 100644 --- a/src/BD_Shape.cc +++ b/src/BD_Shape.cc @@ -71,7 +71,7 @@ PPL::BD_Shape_Helpers::extract_bounded_difference(const Constraint& c, return false; c_coeff = c1; - + return true; } diff --git a/src/Bit_Row.cc b/src/Bit_Row.cc index 6954599..821c5cb 100644 --- a/src/Bit_Row.cc +++ b/src/Bit_Row.cc @@ -127,7 +127,7 @@ PPL::Bit_Row::prev(unsigned long position) const { while (true) { if (limb != 0) - return static_cast<unsigned long>(li) * PPL_BITS_PER_GMP_LIMB + return static_cast<unsigned long>(li) * PPL_BITS_PER_GMP_LIMB + Implementation::last_one(limb); if (li == 0) break; diff --git a/src/Congruence.cc b/src/Congruence.cc index 2d55993..40fef8a 100644 --- a/src/Congruence.cc +++ b/src/Congruence.cc @@ -79,13 +79,13 @@ PPL::Congruence::normalize() { void PPL::Congruence::strong_normalize() { normalize(); - + Coefficient gcd = expr.gcd(0, expr.space_dimension() + 1); if (gcd == 0) gcd = modulus_; else gcd_assign(gcd, modulus_, gcd); - + if (gcd != 0 && gcd != 1) { expr /= gcd; modulus_ /= gcd; @@ -98,7 +98,7 @@ PPL::Congruence::scale(Coefficient_traits::const_reference factor) { if (factor == 1) // Nothing to do. return; - + expr *= factor; modulus_ *= factor; } @@ -195,7 +195,7 @@ bool PPL::Congruence::is_tautological() const { if (is_equality()) return (inhomogeneous_term() == 0) && expr.all_homogeneous_terms_are_zero(); - + return (inhomogeneous_term() % modulus() == 0) && expr.all_homogeneous_terms_are_zero(); } @@ -203,7 +203,7 @@ bool PPL::Congruence::is_inconsistent() const { if (is_equality()) return (inhomogeneous_term() != 0) && expr.all_homogeneous_terms_are_zero(); - + return (inhomogeneous_term() % modulus() != 0) && expr.all_homogeneous_terms_are_zero(); } diff --git a/src/Constraint.cc b/src/Constraint.cc index 7d72c5f..dfcf303 100644 --- a/src/Constraint.cc +++ b/src/Constraint.cc @@ -288,7 +288,7 @@ PPL::Constraint::ascii_dump(std::ostream& s) const { expr.ascii_dump(s); s << " "; - + switch (type()) { case Constraint::EQUALITY: s << "="; diff --git a/src/Generator_System.cc b/src/Generator_System.cc index 926396d..f14afff 100644 --- a/src/Generator_System.cc +++ b/src/Generator_System.cc @@ -761,7 +761,7 @@ PPL::Generator_System::remove_invalid_lines_and_rays() { // NOTE: the following swaps will mix generators without even trying // to preserve sortedness: as a matter of fact, it will almost always // be the case that the input generator system is NOT sorted. - + // Note that num_rows() is *not* constant, because it is decreased by // remove_row(). for (dimension_type i = 0; i < num_rows(); ) { @@ -811,4 +811,3 @@ PPL::IO_Operators::operator<<(std::ostream& s, const Generator_System& gs) { s << ", "; } } - diff --git a/src/Grid_Generator.cc b/src/Grid_Generator.cc index d66dedd..102ea57 100644 --- a/src/Grid_Generator.cc +++ b/src/Grid_Generator.cc @@ -149,7 +149,7 @@ PPL::Grid_Generator::swap_space_dimensions(Variable v1, Variable v2) { bool PPL::Grid_Generator::remove_space_dimensions(const Variables_Set& vars) { PPL_ASSERT(vars.space_dimension() <= space_dimension()); - + expr.remove_space_dimensions(vars); PPL_ASSERT(OK()); diff --git a/src/Init.cc b/src/Init.cc index 470b3e3..d22b778 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -131,7 +131,7 @@ ppl_test_rounding() { } // namespace -#endif // PPL_CAN_CONTROL_FPU +#endif // PPL_CAN_CONTROL_FPU // && defined(PPL_ARM_CAN_CONTROL_FPU) && PPL_ARM_CAN_CONTROL_FPU PPL::Init::Init() { diff --git a/src/Octagonal_Shape.cc b/src/Octagonal_Shape.cc index 4ebabbf..c84c04e 100644 --- a/src/Octagonal_Shape.cc +++ b/src/Octagonal_Shape.cc @@ -90,7 +90,7 @@ PPL::Octagonal_Shape_Helper if (c0 != c1 && c0 != -c1) // Constraint `c' is not an octagonal difference. return false; - + c_first_var *= 2; c_second_var *= 2; if (sgn(c0) < 0) @@ -98,7 +98,6 @@ PPL::Octagonal_Shape_Helper if (sgn(c1) > 0) ++c_second_var; c_coeff = c0; - + return true; } - diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 7d18799..ad1b652 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1211,7 +1211,7 @@ PPL::Polyhedron::strongly_minimize_constraints() const { // `cs[i]' is not a strict inequality: consider next constraint. ++i; } - + PPL_ASSERT(cs.num_pending_rows() == 0); if (changed) { @@ -1288,7 +1288,7 @@ PPL::Polyhedron::strongly_minimize_generators() const { if (con_sys[i].is_strict_inequality()) sat_all_but_strict_ineq.set(i); } - + // Will record whether or not we changed the generator system. bool changed = false; @@ -1968,7 +1968,7 @@ PPL::Polyhedron::BFT00_poly_hull_assign_if_exact(const Polyhedron& y) { ++num_y_gs_red_in_x; } } - + // Step 2: if no redundant generator has been identified, // then the union is not convex. CHECKME: why? if (num_x_gs_red_in_y == 0 && num_y_gs_red_in_x == 0) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index c60c281..f844f81 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -392,7 +392,7 @@ PPL::Polyhedron::is_universe() const { break; } } - + if (has_pending_generators()) { // The non-pending part of `gen_sys' was minimized: // a success-first test is possible in this case. @@ -574,7 +574,7 @@ PPL::Polyhedron::contains_integer_point() const { if (gen_sys[i].is_point() && gen_sys[i].divisor() == 1) return true; } - + const Constraint_System& cs = constraints(); #if 0 // TEMPORARILY DISABLED. MIP_Problem mip(space_dim, @@ -721,7 +721,7 @@ PPL::Polyhedron::constrains(const Variable var) const { if (sign != 0) { if (gen_sys_i.expression().all_zeroes(1, var_id) && gen_sys_i.expression().all_zeroes(var_id + 1, space_dim + 1)) { - + if (gen_sys_i.is_line()) return true; if (sign > 0) @@ -2076,7 +2076,7 @@ PPL::Polyhedron::simplify_using_context_assign(const Polyhedron& y) { ++num_redundant_by_y; } } - + Constraint_System result_cs; if (num_redundant_by_y < x_cs_num_rows) { @@ -3095,7 +3095,7 @@ PPL::Polyhedron::generalized_affine_image(const Linear_Expression& lhs, i = lhs.begin(), i_end = lhs.end(); i != i_end; ++i) { new_lines.insert(line(i.variable())); } - + const dimension_type num_common_dims = std::min(lhs.space_dimension(), rhs.space_dimension()); if (lhs.have_a_common_variable(rhs, Variable(0), Variable(num_common_dims))) { @@ -3230,7 +3230,7 @@ PPL::Polyhedron::generalized_affine_preimage(const Linear_Expression& lhs, i = lhs.begin(), i_end = lhs.end(); i != i_end; ++i) { new_lines.insert(line(i.variable())); } - + const dimension_type num_common_dims = std::min(lhs.space_dimension(), rhs.space_dimension()); if (lhs.have_a_common_variable(rhs, Variable(0), Variable(num_common_dims))) { diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index 1b6de3c..3a6a82e 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -545,7 +545,7 @@ test05() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - bd.affine_form_image(D, FP_Linear_Form(tmp)); + bd.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(bd)); // S = Y; @@ -754,7 +754,7 @@ test06() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - oc.affine_form_image(D, FP_Linear_Form(tmp)); + oc.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(oc)); // S = Y; @@ -963,7 +963,7 @@ test07() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - ph.affine_form_image(D, FP_Linear_Form(tmp)); + ph.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(ph)); // S = Y; diff --git a/tests/Polyhedron/linearsystem1.cc b/tests/Polyhedron/linearsystem1.cc index 5177756..3bf9b65 100644 --- a/tests/Polyhedron/linearsystem1.cc +++ b/tests/Polyhedron/linearsystem1.cc @@ -67,7 +67,7 @@ test01() { // such a coefficient. // To avoid the problem, we simply increment the coefficient. ++c; - + if (col == 0) e += c; else

1 0