- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoid use C++ library for exact conversion from floating point numbers to string : the library is free to ignore requested precision.
by Abramo Bagnara 03 May '12

03 May '12

Module: ppl/ppl Branch: master Commit: 2bc7eacf2fdbcc750a90907514e16e0ab3aa6584 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bc7eacf2fdb… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu May 3 17:26:43 2012 +0200 Avoid use C++ library for exact conversion from floating point numbers to string: the library is free to ignore requested precision. --- README | 3 - m4/Makefile.am | 3 - m4/ac_cxx_double_binary_format.m4 | 4 +- m4/ac_cxx_double_exact_output.m4 | 141 ------------------ m4/ac_cxx_float_binary_format.m4 | 4 +- m4/ac_cxx_float_exact_output.m4 | 137 ----------------- m4/ac_cxx_long_double_binary_format.m4 | 4 +- m4/ac_cxx_long_double_exact_output.m4 | 254 -------------------------------- src/checked.cc | 33 ++++ src/checked.defs.hh | 2 + src/checked_float.inlines.hh | 54 ++++++- src/checked_mpq.inlines.hh | 20 +--- 12 files changed, 86 insertions(+), 573 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2bc7eacf…

1 0

[GIT] ppl/ppl(master): Updated copyright years.
by Enea Zaffanella 30 Apr '12

30 Apr '12

Module: ppl/ppl Branch: master Commit: 2a45cd987dea51bae07a13a01f965d9990285319 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a45cd987dea… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 30 14:48:29 2012 +0200 Updated copyright years. --- src/Expression_Hide_Inhomo.defs.hh | 2 +- src/Expression_Hide_Inhomo.inlines.hh | 2 +- src/Expression_Hide_Inhomo.types.hh | 2 +- src/Expression_Hide_Last.defs.hh | 2 +- src/Expression_Hide_Last.inlines.hh | 2 +- src/Linear_Expression_Impl.cc | 2 +- src/Linear_Expression_Impl.defs.hh | 2 +- src/Linear_Expression_Impl.inlines.hh | 2 +- src/Linear_Expression_Impl.templates.hh | 2 +- src/Linear_Expression_Impl.types.hh | 2 +- src/Linear_Expression_Interface.defs.hh | 2 +- src/Linear_System.templates.hh | 2 +- src/Matrix.inlines.hh | 2 +- src/Polyhedron_chdims.templates.hh | 2 +- src/Swapping_Vector.defs.hh | 2 +- src/Swapping_Vector.inlines.hh | 2 +- 16 files changed, 16 insertions(+), 16 deletions(-) diff --git a/src/Expression_Hide_Inhomo.defs.hh b/src/Expression_Hide_Inhomo.defs.hh index f3497cf..fc1eff1 100644 --- a/src/Expression_Hide_Inhomo.defs.hh +++ b/src/Expression_Hide_Inhomo.defs.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Inhomo class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Inhomo.inlines.hh b/src/Expression_Hide_Inhomo.inlines.hh index 195ccf6..2d4b400 100644 --- a/src/Expression_Hide_Inhomo.inlines.hh +++ b/src/Expression_Hide_Inhomo.inlines.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Inhomo class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Inhomo.types.hh b/src/Expression_Hide_Inhomo.types.hh index 1d142bf..de4318e 100644 --- a/src/Expression_Hide_Inhomo.types.hh +++ b/src/Expression_Hide_Inhomo.types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Expression_Hide_Last.defs.hh b/src/Expression_Hide_Last.defs.hh index 8f1fe36..5cde19c 100644 --- a/src/Expression_Hide_Last.defs.hh +++ b/src/Expression_Hide_Last.defs.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Last class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Expression_Hide_Last.inlines.hh b/src/Expression_Hide_Last.inlines.hh index 8f07133..aa1cc66 100644 --- a/src/Expression_Hide_Last.inlines.hh +++ b/src/Expression_Hide_Last.inlines.hh @@ -1,6 +1,6 @@ /* Expression_Hide_Last class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.cc b/src/Linear_Expression_Impl.cc index 15541fa..97ed637 100644 --- a/src/Linear_Expression_Impl.cc +++ b/src/Linear_Expression_Impl.cc @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.defs.hh b/src/Linear_Expression_Impl.defs.hh index aad5e64..26b7924 100644 --- a/src/Linear_Expression_Impl.defs.hh +++ b/src/Linear_Expression_Impl.defs.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.inlines.hh b/src/Linear_Expression_Impl.inlines.hh index 2e021be..19258f3 100644 --- a/src/Linear_Expression_Impl.inlines.hh +++ b/src/Linear_Expression_Impl.inlines.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.templates.hh b/src/Linear_Expression_Impl.templates.hh index 8f66bde..fcb7634 100644 --- a/src/Linear_Expression_Impl.templates.hh +++ b/src/Linear_Expression_Impl.templates.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Impl class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_Expression_Impl.types.hh b/src/Linear_Expression_Impl.types.hh index 4fdd7bb..eac0f7a 100644 --- a/src/Linear_Expression_Impl.types.hh +++ b/src/Linear_Expression_Impl.types.hh @@ -1,5 +1,5 @@ /* Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is free software; as a special exception the author gives unlimited permission to copy and/or distribute it, with or without diff --git a/src/Linear_Expression_Interface.defs.hh b/src/Linear_Expression_Interface.defs.hh index 4454d01..42932c0 100644 --- a/src/Linear_Expression_Interface.defs.hh +++ b/src/Linear_Expression_Interface.defs.hh @@ -1,6 +1,6 @@ /* Linear_Expression_Interface class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Linear_System.templates.hh b/src/Linear_System.templates.hh index 5f7ac6c..3aa8bf7 100644 --- a/src/Linear_System.templates.hh +++ b/src/Linear_System.templates.hh @@ -1,6 +1,6 @@ /* Linear_System class implementation: non-inline template functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Matrix.inlines.hh b/src/Matrix.inlines.hh index 59905b2..46498c1 100644 --- a/src/Matrix.inlines.hh +++ b/src/Matrix.inlines.hh @@ -1,6 +1,6 @@ /* Matrix class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Polyhedron_chdims.templates.hh b/src/Polyhedron_chdims.templates.hh index f4c04d6..8786222 100644 --- a/src/Polyhedron_chdims.templates.hh +++ b/src/Polyhedron_chdims.templates.hh @@ -2,7 +2,7 @@ (non-inline template operators that may change the dimension of the vector space). Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Swapping_Vector.defs.hh b/src/Swapping_Vector.defs.hh index 20861cf..1e2f995 100644 --- a/src/Swapping_Vector.defs.hh +++ b/src/Swapping_Vector.defs.hh @@ -1,6 +1,6 @@ /* Swapping_Vector class declaration. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). diff --git a/src/Swapping_Vector.inlines.hh b/src/Swapping_Vector.inlines.hh index cd5257b..b61831a 100644 --- a/src/Swapping_Vector.inlines.hh +++ b/src/Swapping_Vector.inlines.hh @@ -1,6 +1,6 @@ /* Swapping_Vector class implementation: inline functions. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> - Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) + Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL).

1 0

R: Re: Fwd: Re: PPL 0.12 bug reporting
by Erotavlas_turbo＠libero.it 29 Apr '12

29 Apr '12

Hi Roberto, this is the error message: g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src -I../../src -I../../utils -I../.. /tests -DNDEBUG=1 -g -O2 -frounding-math -W -Wall -MT mipproblem1.o -MD -MP - MF .deps/mipproblem1.Tpo -c -o mipproblem1.o mipproblem1.cc g++: internal compiler error: Killed (program cc1plus) Please submit a full bug report, with preprocessed source if appropriate. See <file:///usr/share/doc/gcc-4.6/README.Bugs> for instructions. make[3]: *** [mipproblem1.o] Error 4 make[3]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests/MIP_Problem' make[2]: *** [check-am] Error 2 make[2]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests/MIP_Problem' make[1]: *** [check-recursive] Error 1 make[1]: Leaving directory `/home/nedo/Desktop/ppl-0.12.1/tests' make: *** [check-recursive] Error 1 Salvatore >----Messaggio originale---- >Da: bagnara(a)cs.unipr.it >Data: 29/04/2012 15.48 >A: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >Cc: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >Ogg: Re: [PPL-devel] Fwd: Re: PPL 0.12 bug reporting > >On 04/28/12 10:25, Erotavlas_turbo(a)libero.it wrote: >> I compiled the latest ppl 0.12.1 with Ubuntu 12.04. With standard version of >> GCC provided (4.6.3) it does not compile a due to a bug of GCC. But with GCC >> 4.7.0 all works well. With Ubuntu 11.10 I can't compile with success but at >> this point this is no problem. > >Hi Salvatore, > >can you provide us with more details abot the GCC bug you are talking about? >I have just finished a complete `make ; make check' of PPL 0.12.1 on >Ubuntu 12.04/x86_64 (GCC 4.6.3) and everything went fine. >Kind regards, > > Roberto > >>> ----Messaggio originale---- >>> Da: bagnara(a)cs.unipr.it >>> Data: 23/04/2012 11.47 >>> A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >>> Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>> Ogg: Re: [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting >>> >>> On 04/22/12 18:49, Erotavlas_turbo(a)libero.it wrote: >>>> Hi, >>>> >>>> I compiled the latest ppl 0.12.1 and I get this message >>>> >>>> make check-TESTS >>>> make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1 >> /tests/Polyhedron' >>>> PASS: addcongruence1 >>>> PASS: addcongruences1 >>>> PASS: addconstraint1 >>>> PASS: addconstraints1 >>>> PASS: addconstraints2 >>>> PASS: addgenerator1 >>>> PASS: addgenerator2 >>>> PASS: addgenerators1 >>>> PASS: addgenerators2 >>>> PASS: addspacedims1 >>>> PASS: addspacedims2 >>>> PASS: affineimage1 >>>> PASS: affineimage2 >>>> PASS: affinepreimage1 >>>> PASS: affinetrans >>>> PASS: append1 >>>> PASS: append2 >>>> PASS: ascii_dump_load1 >>>> PASS: ascii_dump_load2 >>>> PASS: ascii_dump_load3 >>>> PASS: bgp99extrapolation1 >>>> PASS: bgp99extrapolation2 >>>> PASS: bhrz03widening1 >>>> PASS: bhrz03widening2 >>>> PASS: bhrz03widening3 >>>> PASS: bhz03widening1 >>>> PASS: bounded1 >>>> PASS: boundedaffineimage1 >>>> PASS: boundedaffinepreimage1 >>>> PASS: boundedbhrz03extrapolation1 >>>> PASS: boundedh79extrapolation1 >>>> PASS: bounds1 >>>> PASS: cnncconversion1 >>>> PASS: concatenate1 >>>> PASS: congruences1 >>>> PASS: constrains1 >>>> PASS: constraints1 >>>> PASS: contains1 >>>> PASS: contains2 >>>> PASS: containsintegerpoint1 >>>> PASS: densematrix1 >>>> PASS: disjoint1 >>>> PASS: disjoint2 >>>> PASS: dropsomenonintegerpoints1 >>>> PASS: dropsomenonintegerpoints2 >>>> PASS: dualhypercubes >>>> PASS: empty1 >>>> PASS: equals1 >>>> PASS: exceptions1 >>>> PASS: exceptions2 >>>> PASS: exceptions3 >>>> PASS: expandspacedim1 >>>> PASS: expandspacedim2 >>>> PASS: foldspacedims1 >>>> PASS: foldspacedims2 >>>> PASS: frequency1 >>>> PASS: frombdshape1 >>>> PASS: frombox1 >>>> PASS: frombox2 >>>> PASS: fromgrid1 >>>> PASS: fromoctagonalshape1 >>>> PASS: generalizedaffineimage1 >>>> PASS: generalizedaffineimage2 >>>> PASS: generalizedaffinepreimage1 >>>> PASS: generalizedaffinepreimage2 >>>> PASS: generators1 >>>> PASS: geomcovers1 >>>> PASS: h79widening1 >>>> PASS: h79widening2 >>>> PASS: hybrid >>>> PASS: intersection1 >>>> PASS: limitedbhrz03extrapolation1 >>>> PASS: limitedh79extrapolation1 >>>> PASS: linearexpression1 >>>> PASS: linearpartition1 >>>> PASS: linearsystem1 >>>> PASS: mapspacedims1 >>>> PASS: max_min1 >>>> PASS: maxspacedim1 >>>> PASS: mc91 >>>> PASS: membytes1 >>>> PASS: memory2 >>>> PASS: minconstraints1 >>>> PASS: minconstraints2 >>>> PASS: mingenerators1 >>>> PASS: mingenerators2 >>>> PASS: nncminimize1 >>>> PASS: nncminimize2 >>>> PASS: numberinput1 >>>> PASS: onepoint >>>> PASS: permute >>>> PASS: polydifference1 >>>> PASS: polydifference2 >>>> PASS: polyhull1 >>>> PASS: polyhull2 >>>> PASS: polyhullifexact1 >>>> PASS: polyhullifexact2 >>>> PASS: randphull1 >>>> PASS: refinewithcongruence1 >>>> PASS: refinewithcongruences1 >>>> PASS: refinewithconstraint1 >>>> PASS: refinewithconstraints1 >>>> PASS: relations1 >>>> PASS: relations2 >>>> PASS: relations3 >>>> PASS: removespacedims1 >>>> PASS: removespacedims2 >>>> PASS: simplifyusingcontext1 >>>> PASS: smm1 >>>> PASS: termination1 >>>> PASS: termination2 >>>> PASS: timeelapse1 >>>> PASS: timeelapse2 >>>> PASS: topclosed1 >>>> PASS: topclosure1 >>>> PASS: unconstrain1 >>>> PASS: universe1 >>>> PASS: universe2 >>>> PASS: variablesset1 >>>> PASS: watchdog1 >>>> PASS: weightwatch1 >>>> PASS: wrap1 >>>> PASS: wrap2 >>>> PASS: writeconsys1 >>>> PASS: writegensys1 >>>> PASS: writepolyhedron1 >>>> PASS: writepolyhedron2 >>>> PASS: writerelation1 >>>> PASS: writevariable1 >>>> PASS: nnc_addcongruence1 >>>> PASS: nnc_addcongruences1 >>>> PASS: nnc_addconstraint1 >>>> PASS: nnc_addconstraints1 >>>> PASS: nnc_addgenerator1 >>>> PASS: nnc_addgenerators1 >>>> PASS: nnc_addspacedims1 >>>> PASS: nnc_affineimage1 >>>> PASS: nnc_affinepreimage1 >>>> PASS: nnc_affinetrans >>>> PASS: nnc_append1 >>>> PASS: nnc_append2 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1 >>>> PASS: nnc_bhrz03widening2 >>>> PASS: nnc_bounded1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_bounds1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_congruences1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_constrains1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_constraints1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_contains1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_empty1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_equals1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_frombox1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_generators1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_intersection1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_max_min1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_mc91 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_membytes1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_onepoint >>>> collect2: ld returned 1 exit statusnFAIL: nnc_permute >>>> collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_randphull1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_relations1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_relations2 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_smm1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_universe1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_wrap1 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_wrap2 >>>> collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1 >>>> ====================================== >>>> 59 of 202 tests failed >>>> Please report to ppl-devel(a)cs.unipr.it >>>> ====================================== >>>> Also this time there is no file test-suite.log, I have attached the config. >> log >>>> file. >>> >>> Are you doing a parallel build (i.e., with make -j N)? >>> Otherwise I don't know: I begin to suspect there is something wrong >>> in your system that is unrelated to the PPL. Can I have a temporary >>> account on the machine where all this happens? >>> >>> -- >>> Prof. Roberto Bagnara >>> Applied Formal Methods Laboratory >>> Department of Mathematics, University of Parma, Italy >>> http://www.cs.unipr.it/~bagnara/ >>> mailto:bagnara@cs.unipr.it >>> >> >> >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > >-- >Prof. Roberto Bagnara >Applied Formal Methods Laboratory >Department of Mathematics, University of Parma, Italy >http://www.cs.unipr.it/~bagnara/ >mailto:bagnara@cs.unipr.it >

1 0

Fwd: Re: PPL 0.12 bug reporting
by Roberto Bagnara 29 Apr '12

29 Apr '12

-------- Original Message -------- Subject: R: Re: [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting Date: Sat, 28 Apr 2012 10:25:02 +0200 (CEST) From: Erotavlas_turbo(a)libero.it <Erotavlas_turbo(a)libero.it> Reply-To: Erotavlas_turbo(a)libero.it <Erotavlas_turbo(a)libero.it> To: <bagnara(a)cs.unipr.it> Hi, I compiled the latest ppl 0.12.1 with Ubuntu 12.04. With standard version of GCC provided (4.6.3) it does not compile a due to a bug of GCC. But with GCC 4.7.0 all works well. With Ubuntu 11.10 I can't compile with success but at this point this is no problem. Best Regards >----Messaggio originale---- >Da: bagnara(a)cs.unipr.it >Data: 23/04/2012 11.47 >A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >Ogg: Re: [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting > >On 04/22/12 18:49, Erotavlas_turbo(a)libero.it wrote: >> Hi, >> >> I compiled the latest ppl 0.12.1 and I get this message >> >> make check-TESTS >> make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1 /tests/Polyhedron' >> PASS: addcongruence1 >> PASS: addcongruences1 >> PASS: addconstraint1 >> PASS: addconstraints1 >> PASS: addconstraints2 >> PASS: addgenerator1 >> PASS: addgenerator2 >> PASS: addgenerators1 >> PASS: addgenerators2 >> PASS: addspacedims1 >> PASS: addspacedims2 >> PASS: affineimage1 >> PASS: affineimage2 >> PASS: affinepreimage1 >> PASS: affinetrans >> PASS: append1 >> PASS: append2 >> PASS: ascii_dump_load1 >> PASS: ascii_dump_load2 >> PASS: ascii_dump_load3 >> PASS: bgp99extrapolation1 >> PASS: bgp99extrapolation2 >> PASS: bhrz03widening1 >> PASS: bhrz03widening2 >> PASS: bhrz03widening3 >> PASS: bhz03widening1 >> PASS: bounded1 >> PASS: boundedaffineimage1 >> PASS: boundedaffinepreimage1 >> PASS: boundedbhrz03extrapolation1 >> PASS: boundedh79extrapolation1 >> PASS: bounds1 >> PASS: cnncconversion1 >> PASS: concatenate1 >> PASS: congruences1 >> PASS: constrains1 >> PASS: constraints1 >> PASS: contains1 >> PASS: contains2 >> PASS: containsintegerpoint1 >> PASS: densematrix1 >> PASS: disjoint1 >> PASS: disjoint2 >> PASS: dropsomenonintegerpoints1 >> PASS: dropsomenonintegerpoints2 >> PASS: dualhypercubes >> PASS: empty1 >> PASS: equals1 >> PASS: exceptions1 >> PASS: exceptions2 >> PASS: exceptions3 >> PASS: expandspacedim1 >> PASS: expandspacedim2 >> PASS: foldspacedims1 >> PASS: foldspacedims2 >> PASS: frequency1 >> PASS: frombdshape1 >> PASS: frombox1 >> PASS: frombox2 >> PASS: fromgrid1 >> PASS: fromoctagonalshape1 >> PASS: generalizedaffineimage1 >> PASS: generalizedaffineimage2 >> PASS: generalizedaffinepreimage1 >> PASS: generalizedaffinepreimage2 >> PASS: generators1 >> PASS: geomcovers1 >> PASS: h79widening1 >> PASS: h79widening2 >> PASS: hybrid >> PASS: intersection1 >> PASS: limitedbhrz03extrapolation1 >> PASS: limitedh79extrapolation1 >> PASS: linearexpression1 >> PASS: linearpartition1 >> PASS: linearsystem1 >> PASS: mapspacedims1 >> PASS: max_min1 >> PASS: maxspacedim1 >> PASS: mc91 >> PASS: membytes1 >> PASS: memory2 >> PASS: minconstraints1 >> PASS: minconstraints2 >> PASS: mingenerators1 >> PASS: mingenerators2 >> PASS: nncminimize1 >> PASS: nncminimize2 >> PASS: numberinput1 >> PASS: onepoint >> PASS: permute >> PASS: polydifference1 >> PASS: polydifference2 >> PASS: polyhull1 >> PASS: polyhull2 >> PASS: polyhullifexact1 >> PASS: polyhullifexact2 >> PASS: randphull1 >> PASS: refinewithcongruence1 >> PASS: refinewithcongruences1 >> PASS: refinewithconstraint1 >> PASS: refinewithconstraints1 >> PASS: relations1 >> PASS: relations2 >> PASS: relations3 >> PASS: removespacedims1 >> PASS: removespacedims2 >> PASS: simplifyusingcontext1 >> PASS: smm1 >> PASS: termination1 >> PASS: termination2 >> PASS: timeelapse1 >> PASS: timeelapse2 >> PASS: topclosed1 >> PASS: topclosure1 >> PASS: unconstrain1 >> PASS: universe1 >> PASS: universe2 >> PASS: variablesset1 >> PASS: watchdog1 >> PASS: weightwatch1 >> PASS: wrap1 >> PASS: wrap2 >> PASS: writeconsys1 >> PASS: writegensys1 >> PASS: writepolyhedron1 >> PASS: writepolyhedron2 >> PASS: writerelation1 >> PASS: writevariable1 >> PASS: nnc_addcongruence1 >> PASS: nnc_addcongruences1 >> PASS: nnc_addconstraint1 >> PASS: nnc_addconstraints1 >> PASS: nnc_addgenerator1 >> PASS: nnc_addgenerators1 >> PASS: nnc_addspacedims1 >> PASS: nnc_affineimage1 >> PASS: nnc_affinepreimage1 >> PASS: nnc_affinetrans >> PASS: nnc_append1 >> PASS: nnc_append2 >> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1 >> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2 >> collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1 >> PASS: nnc_bhrz03widening2 >> PASS: nnc_bounded1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_bounds1 >> collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1 >> collect2: ld returned 1 exit statusnFAIL: nnc_congruences1 >> collect2: ld returned 1 exit statusnFAIL: nnc_constrains1 >> collect2: ld returned 1 exit statusnFAIL: nnc_constraints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_contains1 >> collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1 >> collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1 >> collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_empty1 >> collect2: ld returned 1 exit statusnFAIL: nnc_equals1 >> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1 >> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3 >> collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1 >> collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1 >> collect2: ld returned 1 exit statusnFAIL: nnc_frombox1 >> collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1 >> collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generators1 >> collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1 >> collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1 >> collect2: ld returned 1 exit statusnFAIL: nnc_intersection1 >> collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1 >> collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_max_min1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mc91 >> collect2: ld returned 1 exit statusnFAIL: nnc_membytes1 >> collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1 >> collect2: ld returned 1 exit statusnFAIL: nnc_onepoint >> collect2: ld returned 1 exit statusnFAIL: nnc_permute >> collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1 >> collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1 >> collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1 >> collect2: ld returned 1 exit statusnFAIL: nnc_randphull1 >> collect2: ld returned 1 exit statusnFAIL: nnc_relations1 >> collect2: ld returned 1 exit statusnFAIL: nnc_relations2 >> collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_smm1 >> collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1 >> collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1 >> collect2: ld returned 1 exit statusnFAIL: nnc_universe1 >> collect2: ld returned 1 exit statusnFAIL: nnc_wrap1 >> collect2: ld returned 1 exit statusnFAIL: nnc_wrap2 >> collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1 >> ====================================== >> 59 of 202 tests failed >> Please report to ppl-devel(a)cs.unipr.it >> ====================================== >> Also this time there is no file test-suite.log, I have attached the config. log >> file. > >Are you doing a parallel build (i.e., with make -j N)? >Otherwise I don't know: I begin to suspect there is something wrong >in your system that is unrelated to the PPL. Can I have a temporary >account on the machine where all this happens? > >-- >Prof. Roberto Bagnara >Applied Formal Methods Laboratory >Department of Mathematics, University of Parma, Italy >http://www.cs.unipr.it/~bagnara/ >mailto:bagnara@cs.unipr.it >

1 1

R: Re: R: Re: R: Re: PPL 0.12 bug reporting
by Erotavlas_turbo＠libero.it 24 Apr '12

24 Apr '12

Hi, I run the 'make check' command from the source files directory of ppl0.12. If a type locate `test-suite.log' there is no file with such name. Best Regards Salvatore >----Messaggio originale---- >Da: bagnara(a)cs.unipr.it >Data: 21/04/2012 17.33 >A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >Ogg: Re: [PPL-devel] R: Re: R: Re: PPL 0.12 bug reporting > >On 04/21/12 10:25, Erotavlas_turbo(a)libero.it wrote: >> Hi, >> >>> Yes, and more details are needed to understand what is going on. >>> Please send the file called `test-suite.log' that has been >>> created in the directory where `make check' fails. >>> Kind regards, >> >> I can't find this file `test-suite.log' inside the directory where I run make >> check. > >It should be created in the directory where the failure happens, not >the one from which you run `make check'. > >>> ----Messaggio originale---- >>> Da: bagnara(a)cs.unipr.it >>> Data: 21/04/2012 9.43 >>> A: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>> Cc: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >>> Ogg: Re: R: Re: [PPL-devel] PPL 0.12 bug reporting >>> >>> On 04/20/12 23:15, Erotavlas_turbo(a)libero.it wrote: >>>> Hi, >>> >>> Hi Salvatore. >>> >>>> I have attached the config.log file. >>> >>> Thanks. I saw nothing wrong in it. >>> >>>> At the end of the compilation process I >>>> get this messages >>>> >>>> PASS: C_Expr >>>> PASS: linearform1 >>>> PASS: linearize >>>> PASS: digitalfilters1 >>>> PASS: bdshape1 >>>> PASS: bdshape2 >>>> collect2: ld returned 1 exit statusnFAIL: octagonalshape1 >>>> collect2: ld returned 1 exit statusnFAIL: octagonalshape2 >>>> collect2: ld returned 1 exit statusnFAIL: polyhedron1 >>>> collect2: ld returned 1 exit statusnFAIL: polyhedron2 >>>> ====================================== >>>> 4 of 10 tests failed >>>> Please report to ppl-devel(a)cs.unipr.it >>>> ====================================== >>>> It seems a problem of ld. Is it right? >>> >>> Yes, and more details are needed to understand what is going on. >>> Please send the file called `test-suite.log' that has been >>> created in the directory where `make check' fails. >>> Kind regards, >>> >>> Roberto >>> >>> P.S. Please direct all messages to ppl-devel(a)cs.unipr.it >>> >>> >>>>> ----Messaggio originale---- >>>>> Da: bagnara(a)cs.unipr.it >>>>> Data: 16/04/2012 8.11 >>>>> A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >>>>> Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>>>> Ogg: Re: [PPL-devel] PPL 0.12 bug reporting >>>>> >>>>> On 04/15/12 11:11, Erotavlas_turbo(a)libero.it wrote: >>>>>> Hi, >>>>>> >>>>>> I have a problem with the latest version of PPL 0.12. I have tried to >>>> compile it with Ubuntu 64 bit 11.04 and 11.10. I can compile PPL well but >> when >>>> I make the tests (by make check), I get a message like this: >>>>>> >>>>>> Some test failed, please report a bug to the PPL developers. With the PPL >>>> 0.11 all the test are passed. >>>>>> >>>>>> Best Regards >>>>>> >>>>>> Salvatore Frandina >>>>> >>>>> Hi Salvatore, >>>>> >>>>> we need more details about the particular test(s) that failed. >>>>> Please compress and send also the config.log file that was >>>>> created at configure time. >>>>> Kind regards, >>>>> >>>>> Roberto >>>>> >>>>> -- >>>>> Prof. Roberto Bagnara >>>>> Applied Formal Methods Laboratory >>>>> Department of Mathematics, University of Parma, Italy >>>>> http://www.cs.unipr.it/~bagnara/ >>>>> mailto:bagnara@cs.unipr.it >>>>> >>>> >>> >>> >>> -- >>> Prof. Roberto Bagnara >>> Applied Formal Methods Laboratory >>> Department of Mathematics, University of Parma, Italy >>> http://www.cs.unipr.it/~bagnara/ >>> mailto:bagnara@cs.unipr.it >>> >> >> >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > >-- >Prof. Roberto Bagnara >Applied Formal Methods Laboratory >Department of Mathematics, University of Parma, Italy >http://www.cs.unipr.it/~bagnara/ >mailto:bagnara@cs.unipr.it >

3 2

R: Re: R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting
by Erotavlas_turbo＠libero.it 23 Apr '12

23 Apr '12

Hi, the situation is the following. I'm compiling under Ubuntu 11.10 64 bit installed on a Virtual Box machine 4.1.8. The compiler is GCC 4.6.1 the standard provided with this distribution, I'm just compiling with 'make' but I don't know if GCC automatically executes parallel compiling. With ppl 0.11 all works well. I can send to you my VM but it is about 16 GB. Best Regards Salvatore >----Messaggio originale---- >Da: bagnara(a)cs.unipr.it >Data: 23/04/2012 11.47 >A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >Ogg: Re: [PPL-devel] R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting > >On 04/22/12 18:49, Erotavlas_turbo(a)libero.it wrote: >> Hi, >> >> I compiled the latest ppl 0.12.1 and I get this message >> >> make check-TESTS >> make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1 /tests/Polyhedron' >> PASS: addcongruence1 >> PASS: addcongruences1 >> PASS: addconstraint1 >> PASS: addconstraints1 >> PASS: addconstraints2 >> PASS: addgenerator1 >> PASS: addgenerator2 >> PASS: addgenerators1 >> PASS: addgenerators2 >> PASS: addspacedims1 >> PASS: addspacedims2 >> PASS: affineimage1 >> PASS: affineimage2 >> PASS: affinepreimage1 >> PASS: affinetrans >> PASS: append1 >> PASS: append2 >> PASS: ascii_dump_load1 >> PASS: ascii_dump_load2 >> PASS: ascii_dump_load3 >> PASS: bgp99extrapolation1 >> PASS: bgp99extrapolation2 >> PASS: bhrz03widening1 >> PASS: bhrz03widening2 >> PASS: bhrz03widening3 >> PASS: bhz03widening1 >> PASS: bounded1 >> PASS: boundedaffineimage1 >> PASS: boundedaffinepreimage1 >> PASS: boundedbhrz03extrapolation1 >> PASS: boundedh79extrapolation1 >> PASS: bounds1 >> PASS: cnncconversion1 >> PASS: concatenate1 >> PASS: congruences1 >> PASS: constrains1 >> PASS: constraints1 >> PASS: contains1 >> PASS: contains2 >> PASS: containsintegerpoint1 >> PASS: densematrix1 >> PASS: disjoint1 >> PASS: disjoint2 >> PASS: dropsomenonintegerpoints1 >> PASS: dropsomenonintegerpoints2 >> PASS: dualhypercubes >> PASS: empty1 >> PASS: equals1 >> PASS: exceptions1 >> PASS: exceptions2 >> PASS: exceptions3 >> PASS: expandspacedim1 >> PASS: expandspacedim2 >> PASS: foldspacedims1 >> PASS: foldspacedims2 >> PASS: frequency1 >> PASS: frombdshape1 >> PASS: frombox1 >> PASS: frombox2 >> PASS: fromgrid1 >> PASS: fromoctagonalshape1 >> PASS: generalizedaffineimage1 >> PASS: generalizedaffineimage2 >> PASS: generalizedaffinepreimage1 >> PASS: generalizedaffinepreimage2 >> PASS: generators1 >> PASS: geomcovers1 >> PASS: h79widening1 >> PASS: h79widening2 >> PASS: hybrid >> PASS: intersection1 >> PASS: limitedbhrz03extrapolation1 >> PASS: limitedh79extrapolation1 >> PASS: linearexpression1 >> PASS: linearpartition1 >> PASS: linearsystem1 >> PASS: mapspacedims1 >> PASS: max_min1 >> PASS: maxspacedim1 >> PASS: mc91 >> PASS: membytes1 >> PASS: memory2 >> PASS: minconstraints1 >> PASS: minconstraints2 >> PASS: mingenerators1 >> PASS: mingenerators2 >> PASS: nncminimize1 >> PASS: nncminimize2 >> PASS: numberinput1 >> PASS: onepoint >> PASS: permute >> PASS: polydifference1 >> PASS: polydifference2 >> PASS: polyhull1 >> PASS: polyhull2 >> PASS: polyhullifexact1 >> PASS: polyhullifexact2 >> PASS: randphull1 >> PASS: refinewithcongruence1 >> PASS: refinewithcongruences1 >> PASS: refinewithconstraint1 >> PASS: refinewithconstraints1 >> PASS: relations1 >> PASS: relations2 >> PASS: relations3 >> PASS: removespacedims1 >> PASS: removespacedims2 >> PASS: simplifyusingcontext1 >> PASS: smm1 >> PASS: termination1 >> PASS: termination2 >> PASS: timeelapse1 >> PASS: timeelapse2 >> PASS: topclosed1 >> PASS: topclosure1 >> PASS: unconstrain1 >> PASS: universe1 >> PASS: universe2 >> PASS: variablesset1 >> PASS: watchdog1 >> PASS: weightwatch1 >> PASS: wrap1 >> PASS: wrap2 >> PASS: writeconsys1 >> PASS: writegensys1 >> PASS: writepolyhedron1 >> PASS: writepolyhedron2 >> PASS: writerelation1 >> PASS: writevariable1 >> PASS: nnc_addcongruence1 >> PASS: nnc_addcongruences1 >> PASS: nnc_addconstraint1 >> PASS: nnc_addconstraints1 >> PASS: nnc_addgenerator1 >> PASS: nnc_addgenerators1 >> PASS: nnc_addspacedims1 >> PASS: nnc_affineimage1 >> PASS: nnc_affinepreimage1 >> PASS: nnc_affinetrans >> PASS: nnc_append1 >> PASS: nnc_append2 >> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1 >> collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2 >> collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1 >> PASS: nnc_bhrz03widening2 >> PASS: nnc_bounded1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_bounds1 >> collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1 >> collect2: ld returned 1 exit statusnFAIL: nnc_congruences1 >> collect2: ld returned 1 exit statusnFAIL: nnc_constrains1 >> collect2: ld returned 1 exit statusnFAIL: nnc_constraints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_contains1 >> collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1 >> collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1 >> collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_empty1 >> collect2: ld returned 1 exit statusnFAIL: nnc_equals1 >> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1 >> collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3 >> collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1 >> collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1 >> collect2: ld returned 1 exit statusnFAIL: nnc_frombox1 >> collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1 >> collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1 >> collect2: ld returned 1 exit statusnFAIL: nnc_generators1 >> collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1 >> collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1 >> collect2: ld returned 1 exit statusnFAIL: nnc_intersection1 >> collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1 >> collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1 >> collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_max_min1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mc91 >> collect2: ld returned 1 exit statusnFAIL: nnc_membytes1 >> collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1 >> collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1 >> collect2: ld returned 1 exit statusnFAIL: nnc_onepoint >> collect2: ld returned 1 exit statusnFAIL: nnc_permute >> collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1 >> collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1 >> collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1 >> collect2: ld returned 1 exit statusnFAIL: nnc_randphull1 >> collect2: ld returned 1 exit statusnFAIL: nnc_relations1 >> collect2: ld returned 1 exit statusnFAIL: nnc_relations2 >> collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1 >> collect2: ld returned 1 exit statusnFAIL: nnc_smm1 >> collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1 >> collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1 >> collect2: ld returned 1 exit statusnFAIL: nnc_universe1 >> collect2: ld returned 1 exit statusnFAIL: nnc_wrap1 >> collect2: ld returned 1 exit statusnFAIL: nnc_wrap2 >> collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1 >> ====================================== >> 59 of 202 tests failed >> Please report to ppl-devel(a)cs.unipr.it >> ====================================== >> Also this time there is no file test-suite.log, I have attached the config. log >> file. > >Are you doing a parallel build (i.e., with make -j N)? >Otherwise I don't know: I begin to suspect there is something wrong >in your system that is unrelated to the PPL. Can I have a temporary >account on the machine where all this happens? > >-- >Prof. Roberto Bagnara >Applied Formal Methods Laboratory >Department of Mathematics, University of Parma, Italy >http://www.cs.unipr.it/~bagnara/ >mailto:bagnara@cs.unipr.it >

1 0

[GIT] ppl/ppl(master): Corrected expected results for (overflowing) tests on bounded coefficients.
by Enea Zaffanella 23 Apr '12

23 Apr '12

Module: ppl/ppl Branch: master Commit: da2c524c22e01f64ad90f1d38c0a18e506091086 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da2c524c22e0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 23 13:29:55 2012 +0200 Corrected expected results for (overflowing) tests on bounded coefficients. --- demos/ppl_lpsol/expected_int16_a | 62 +++++++++++++++++-------- demos/ppl_lpsol/expected_int8_a | 20 ++++++++ interfaces/Prolog/tests/expected_pchk_int8_a | 2 +- 3 files changed, 63 insertions(+), 21 deletions(-) diff --git a/demos/ppl_lpsol/expected_int16_a b/demos/ppl_lpsol/expected_int16_a index 95ea251..2bfba03 100644 --- a/demos/ppl_lpsol/expected_int16_a +++ b/demos/ppl_lpsol/expected_int16_a @@ -3,21 +3,27 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n ex1.mps Feasible problem. *** ./ppl_lpsol -s -p1 -oobtained -n lseu.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n markshare1.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n markshare2.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n mip.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n p0033.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n unboundedmin.mps Feasible problem. *** ./ppl_lpsol -s -p1 -oobtained -m ex1.mps -PPL error code -6: Positive overflow. +Optimum value: -3 +Optimum location: +x1 = 1 +x2 = 2 *** ./ppl_lpsol -s -p1 -oobtained -M ex1.mps -PPL error code -6: Positive overflow. +Optimum value: 2 +Optimum location: +x1 = 2 +x2 = 0 *** ./ppl_lpsol -s -p1 -oobtained -m mip.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -M mip.mps @@ -25,11 +31,14 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -m p0033.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -M p0033.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -m unboundedmin.mps Unbounded problem. *** ./ppl_lpsol -s -p1 -oobtained -M unboundedmin.mps -PPL error code -6: Positive overflow. +Optimum value: 0 +Optimum location: +x1 = 0 +x2 = 0 *** ./ppl_lpsol -s -p1 -oobtained -r -m adlittle.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M adlittle.mps @@ -51,9 +60,15 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M egout.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m ex1.mps -PPL error code -6: Positive overflow. +Optimum value: -3.75 +Optimum location: +x1 = 1.25 +x2 = 2.5 *** ./ppl_lpsol -s -p1 -oobtained -r -M ex1.mps -PPL error code -6: Positive overflow. +Optimum value: 2.5 +Optimum location: +x1 = 2.5 +x2 = 0 *** ./ppl_lpsol -s -p1 -oobtained -r -m kb2.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M kb2.mps @@ -61,15 +76,15 @@ PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m lseu.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M lseu.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m markshare1.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M markshare1.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m markshare2.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M markshare2.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m mas76.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M mas76.mps @@ -77,7 +92,7 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m mip.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M mip.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m noswot.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M noswot.mps @@ -85,13 +100,17 @@ PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m p0033.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M p0033.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m pk1.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M pk1.mps -PPL error code -6: Negative overflow. -*** ./ppl_lpsol -s -p1 -oobtained -r -m sample.mps PPL error code -6: Positive overflow. +*** ./ppl_lpsol -s -p1 -oobtained -r -m sample.mps +Optimum value: -733.3333333 +Optimum location: +x1 = 33.33333333 +x2 = 66.66666667 +x3 = 0 *** ./ppl_lpsol -s -p1 -oobtained -r -M sample.mps Optimum value: 0 Optimum location: @@ -113,7 +132,10 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m unboundedmin.mps Unbounded problem. *** ./ppl_lpsol -s -p1 -oobtained -r -M unboundedmin.mps -PPL error code -6: Positive overflow. +Optimum value: 0 +Optimum location: +x1 = 0 +x2 = 0 *** ppl_lpsol -e -r -oobtained bgprtr.mps PPL error code -6: Negative overflow. *** ppl_lpsol -e -r -oobtained ex1.mps @@ -129,7 +151,7 @@ X2 = 4.571428571 X3 = 0.5714285714 X4 = 3 *** ppl_lpsol -e -r -oobtained sample.mps -PPL error code -6: Negative overflow. +PPL error code -6: Positive overflow. *** ppl_lpsol -e -r -oobtained unboundedmin.mps Optimum value: 0 Optimum location: diff --git a/demos/ppl_lpsol/expected_int8_a b/demos/ppl_lpsol/expected_int8_a index faa63f3..f00b5d1 100644 --- a/demos/ppl_lpsol/expected_int8_a +++ b/demos/ppl_lpsol/expected_int8_a @@ -9,14 +9,19 @@ PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -n markshare2.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -n mip.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n p0033.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -n unboundedmin.mps Feasible problem. *** ./ppl_lpsol -s -p1 -oobtained -m ex1.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -M ex1.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -m mip.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -M mip.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -m p0033.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -M p0033.mps @@ -24,6 +29,10 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -m unboundedmin.mps Unbounded problem. *** ./ppl_lpsol -s -p1 -oobtained -M unboundedmin.mps +Optimum value: 0 +Optimum location: +x1 = 0 +x2 = 0 *** ./ppl_lpsol -s -p1 -oobtained -r -m adlittle.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M adlittle.mps @@ -45,7 +54,12 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M egout.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m ex1.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M ex1.mps +Optimum value: 2.5 +Optimum location: +x1 = 2.5 +x2 = 0 *** ./ppl_lpsol -s -p1 -oobtained -r -m kb2.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M kb2.mps @@ -67,7 +81,9 @@ PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M mas76.mps PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m mip.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M mip.mps +PPL error code -6: Positive overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m noswot.mps PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -M noswot.mps @@ -99,6 +115,10 @@ PPL error code -6: Negative overflow. *** ./ppl_lpsol -s -p1 -oobtained -r -m unboundedmin.mps Unbounded problem. *** ./ppl_lpsol -s -p1 -oobtained -r -M unboundedmin.mps +Optimum value: 0 +Optimum location: +x1 = 0 +x2 = 0 *** ppl_lpsol -e -r -oobtained bgprtr.mps PPL error code -6: Positive overflow. *** ppl_lpsol -e -r -oobtained ex1.mps diff --git a/interfaces/Prolog/tests/expected_pchk_int8_a b/interfaces/Prolog/tests/expected_pchk_int8_a index 45056d1..c1a4555 100644 --- a/interfaces/Prolog/tests/expected_pchk_int8_a +++ b/interfaces/Prolog/tests/expected_pchk_int8_a @@ -3,5 +3,5 @@ Error: an overflow has been detected by the PPL: Positive overflow. Error: an overflow has been detected by the PPL: Negative overflow. -Error: an overflow has been detected by the PPL: Negative overflow. +Error: an overflow has been detected by the PPL: Positive overflow. OK

1 0

[GIT] ppl/ppl(master): Changed sign of overflow in 16-bits Prolog test.
by Enea Zaffanella 23 Apr '12

23 Apr '12

Module: ppl/ppl Branch: master Commit: 126c34bd6539ccef44811f63f68c198581218531 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=126c34bd6539… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 23 11:25:33 2012 +0200 Changed sign of overflow in 16-bits Prolog test. --- interfaces/Prolog/tests/expected_clpq2_int16_a | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/tests/expected_clpq2_int16_a b/interfaces/Prolog/tests/expected_clpq2_int16_a index f7fbb7b..a29bc3a 100644 --- a/interfaces/Prolog/tests/expected_clpq2_int16_a +++ b/interfaces/Prolog/tests/expected_clpq2_int16_a @@ -21,7 +21,7 @@ PPL clpq ?- Y = 8 more? yes PPL clpq ?- yes PPL clpq ?- -Error: an overflow has been detected by the PPL: Negative overflow. +Error: an overflow has been detected by the PPL: Positive overflow. no PPL clpq ?- yes PPL clpq ?-

1 0

R: Re: R: Re: R: Re: R: Re: PPL 0.12 bug reporting
by Erotavlas_turbo＠libero.it 23 Apr '12

23 Apr '12

Hi, I compiled the latest ppl 0.12.1 and I get this message make check-TESTS make[3]: Entering directory `/home/user/Desktop/ppl-0.12.1/tests/Polyhedron' PASS: addcongruence1 PASS: addcongruences1 PASS: addconstraint1 PASS: addconstraints1 PASS: addconstraints2 PASS: addgenerator1 PASS: addgenerator2 PASS: addgenerators1 PASS: addgenerators2 PASS: addspacedims1 PASS: addspacedims2 PASS: affineimage1 PASS: affineimage2 PASS: affinepreimage1 PASS: affinetrans PASS: append1 PASS: append2 PASS: ascii_dump_load1 PASS: ascii_dump_load2 PASS: ascii_dump_load3 PASS: bgp99extrapolation1 PASS: bgp99extrapolation2 PASS: bhrz03widening1 PASS: bhrz03widening2 PASS: bhrz03widening3 PASS: bhz03widening1 PASS: bounded1 PASS: boundedaffineimage1 PASS: boundedaffinepreimage1 PASS: boundedbhrz03extrapolation1 PASS: boundedh79extrapolation1 PASS: bounds1 PASS: cnncconversion1 PASS: concatenate1 PASS: congruences1 PASS: constrains1 PASS: constraints1 PASS: contains1 PASS: contains2 PASS: containsintegerpoint1 PASS: densematrix1 PASS: disjoint1 PASS: disjoint2 PASS: dropsomenonintegerpoints1 PASS: dropsomenonintegerpoints2 PASS: dualhypercubes PASS: empty1 PASS: equals1 PASS: exceptions1 PASS: exceptions2 PASS: exceptions3 PASS: expandspacedim1 PASS: expandspacedim2 PASS: foldspacedims1 PASS: foldspacedims2 PASS: frequency1 PASS: frombdshape1 PASS: frombox1 PASS: frombox2 PASS: fromgrid1 PASS: fromoctagonalshape1 PASS: generalizedaffineimage1 PASS: generalizedaffineimage2 PASS: generalizedaffinepreimage1 PASS: generalizedaffinepreimage2 PASS: generators1 PASS: geomcovers1 PASS: h79widening1 PASS: h79widening2 PASS: hybrid PASS: intersection1 PASS: limitedbhrz03extrapolation1 PASS: limitedh79extrapolation1 PASS: linearexpression1 PASS: linearpartition1 PASS: linearsystem1 PASS: mapspacedims1 PASS: max_min1 PASS: maxspacedim1 PASS: mc91 PASS: membytes1 PASS: memory2 PASS: minconstraints1 PASS: minconstraints2 PASS: mingenerators1 PASS: mingenerators2 PASS: nncminimize1 PASS: nncminimize2 PASS: numberinput1 PASS: onepoint PASS: permute PASS: polydifference1 PASS: polydifference2 PASS: polyhull1 PASS: polyhull2 PASS: polyhullifexact1 PASS: polyhullifexact2 PASS: randphull1 PASS: refinewithcongruence1 PASS: refinewithcongruences1 PASS: refinewithconstraint1 PASS: refinewithconstraints1 PASS: relations1 PASS: relations2 PASS: relations3 PASS: removespacedims1 PASS: removespacedims2 PASS: simplifyusingcontext1 PASS: smm1 PASS: termination1 PASS: termination2 PASS: timeelapse1 PASS: timeelapse2 PASS: topclosed1 PASS: topclosure1 PASS: unconstrain1 PASS: universe1 PASS: universe2 PASS: variablesset1 PASS: watchdog1 PASS: weightwatch1 PASS: wrap1 PASS: wrap2 PASS: writeconsys1 PASS: writegensys1 PASS: writepolyhedron1 PASS: writepolyhedron2 PASS: writerelation1 PASS: writevariable1 PASS: nnc_addcongruence1 PASS: nnc_addcongruences1 PASS: nnc_addconstraint1 PASS: nnc_addconstraints1 PASS: nnc_addgenerator1 PASS: nnc_addgenerators1 PASS: nnc_addspacedims1 PASS: nnc_affineimage1 PASS: nnc_affinepreimage1 PASS: nnc_affinetrans PASS: nnc_append1 PASS: nnc_append2 collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load1 collect2: ld returned 1 exit statusnFAIL: nnc_ascii_dump_load2 collect2: ld returned 1 exit statusnFAIL: nnc_bgp99extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_bhrz03widening1 PASS: nnc_bhrz03widening2 PASS: nnc_bounded1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffineimage1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedaffinepreimage1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedbhrz03extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_boundedh79extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_bounds1 collect2: ld returned 1 exit statusnFAIL: nnc_concatenate1 collect2: ld returned 1 exit statusnFAIL: nnc_congruences1 collect2: ld returned 1 exit statusnFAIL: nnc_constrains1 collect2: ld returned 1 exit statusnFAIL: nnc_constraints1 collect2: ld returned 1 exit statusnFAIL: nnc_contains1 collect2: ld returned 1 exit statusnFAIL: nnc_containsintegerpoint1 collect2: ld returned 1 exit statusnFAIL: nnc_disjoint1 collect2: ld returned 1 exit statusnFAIL: nnc_dropsomenonintegerpoints1 collect2: ld returned 1 exit statusnFAIL: nnc_empty1 collect2: ld returned 1 exit statusnFAIL: nnc_equals1 collect2: ld returned 1 exit statusnFAIL: nnc_exceptions1 collect2: ld returned 1 exit statusnFAIL: nnc_exceptions3 collect2: ld returned 1 exit statusnFAIL: nnc_expandspacedim1 collect2: ld returned 1 exit statusnFAIL: nnc_foldspacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_frombdshape1 collect2: ld returned 1 exit statusnFAIL: nnc_frombox1 collect2: ld returned 1 exit statusnFAIL: nnc_fromgrid1 collect2: ld returned 1 exit statusnFAIL: nnc_fromoctagonalshape1 collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffineimage1 collect2: ld returned 1 exit statusnFAIL: nnc_generalizedaffinepreimage1 collect2: ld returned 1 exit statusnFAIL: nnc_generators1 collect2: ld returned 1 exit statusnFAIL: nnc_geomcovers1 collect2: ld returned 1 exit statusnFAIL: nnc_h79widening1 collect2: ld returned 1 exit statusnFAIL: nnc_intersection1 collect2: ld returned 1 exit statusnFAIL: nnc_simplifyusingcontext1 collect2: ld returned 1 exit statusnFAIL: nnc_limitedbhrz03extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_limitedh79extrapolation1 collect2: ld returned 1 exit statusnFAIL: nnc_linearpartition1 collect2: ld returned 1 exit statusnFAIL: nnc_mapspacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_max_min1 collect2: ld returned 1 exit statusnFAIL: nnc_mc91 collect2: ld returned 1 exit statusnFAIL: nnc_membytes1 collect2: ld returned 1 exit statusnFAIL: nnc_minconstraints1 collect2: ld returned 1 exit statusnFAIL: nnc_mingenerators1 collect2: ld returned 1 exit statusnFAIL: nnc_onepoint collect2: ld returned 1 exit statusnFAIL: nnc_permute collect2: ld returned 1 exit statusnFAIL: nnc_polydifference1 collect2: ld returned 1 exit statusnFAIL: nnc_polyhull1 collect2: ld returned 1 exit statusnFAIL: nnc_polyhullifexact1 collect2: ld returned 1 exit statusnFAIL: nnc_randphull1 collect2: ld returned 1 exit statusnFAIL: nnc_relations1 collect2: ld returned 1 exit statusnFAIL: nnc_relations2 collect2: ld returned 1 exit statusnFAIL: nnc_removespacedims1 collect2: ld returned 1 exit statusnFAIL: nnc_smm1 collect2: ld returned 1 exit statusnFAIL: nnc_timeelapse1 collect2: ld returned 1 exit statusnFAIL: nnc_unconstrain1 collect2: ld returned 1 exit statusnFAIL: nnc_universe1 collect2: ld returned 1 exit statusnFAIL: nnc_wrap1 collect2: ld returned 1 exit statusnFAIL: nnc_wrap2 collect2: ld returned 1 exit statusnFAIL: nnc_writepolyhedron1 ====================================== 59 of 202 tests failed Please report to ppl-devel(a)cs.unipr.it ====================================== Also this time there is no file test-suite.log, I have attached the config.log file. Best Regards Salvatore >----Messaggio originale---- >Da: bagnara(a)cs.unipr.it >Data: 22/04/2012 8.12 >A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >Ogg: Re: [PPL-devel] R: Re: R: Re: R: Re: PPL 0.12 bug reporting > >On 04/21/12 18:09, Erotavlas_turbo(a)libero.it wrote: >> I run the 'make check' command from the source files directory of ppl0.12. If >> a type locate `test-suite.log' there is no file with such name. > >This is strange. Can you please try with PPL 0.12.1, released just a few >days ago? >Thanks, > > Roberto > >>> ----Messaggio originale---- >>> Da: bagnara(a)cs.unipr.it >>> Data: 21/04/2012 17.33 >>> A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr.it> >>> Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>> Ogg: Re: [PPL-devel] R: Re: R: Re: PPL 0.12 bug reporting >>> >>> On 04/21/12 10:25, Erotavlas_turbo(a)libero.it wrote: >>>> Hi, >>>> >>>>> Yes, and more details are needed to understand what is going on. >>>>> Please send the file called `test-suite.log' that has been >>>>> created in the directory where `make check' fails. >>>>> Kind regards, >>>> >>>> I can't find this file `test-suite.log' inside the directory where I run >> make >>>> check. >>> >>> It should be created in the directory where the failure happens, not >>> the one from which you run `make check'. >>> >>>>> ----Messaggio originale---- >>>>> Da: bagnara(a)cs.unipr.it >>>>> Data: 21/04/2012 9.43 >>>>> A: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>>>> Cc: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr. it> >>>>> Ogg: Re: R: Re: [PPL-devel] PPL 0.12 bug reporting >>>>> >>>>> On 04/20/12 23:15, Erotavlas_turbo(a)libero.it wrote: >>>>>> Hi, >>>>> >>>>> Hi Salvatore. >>>>> >>>>>> I have attached the config.log file. >>>>> >>>>> Thanks. I saw nothing wrong in it. >>>>> >>>>>> At the end of the compilation process I >>>>>> get this messages >>>>>> >>>>>> PASS: C_Expr >>>>>> PASS: linearform1 >>>>>> PASS: linearize >>>>>> PASS: digitalfilters1 >>>>>> PASS: bdshape1 >>>>>> PASS: bdshape2 >>>>>> collect2: ld returned 1 exit statusnFAIL: octagonalshape1 >>>>>> collect2: ld returned 1 exit statusnFAIL: octagonalshape2 >>>>>> collect2: ld returned 1 exit statusnFAIL: polyhedron1 >>>>>> collect2: ld returned 1 exit statusnFAIL: polyhedron2 >>>>>> ====================================== >>>>>> 4 of 10 tests failed >>>>>> Please report to ppl-devel(a)cs.unipr.it >>>>>> ====================================== >>>>>> It seems a problem of ld. Is it right? >>>>> >>>>> Yes, and more details are needed to understand what is going on. >>>>> Please send the file called `test-suite.log' that has been >>>>> created in the directory where `make check' fails. >>>>> Kind regards, >>>>> >>>>> Roberto >>>>> >>>>> P.S. Please direct all messages to ppl-devel(a)cs.unipr.it >>>>> >>>>> >>>>>>> ----Messaggio originale---- >>>>>>> Da: bagnara(a)cs.unipr.it >>>>>>> Data: 16/04/2012 8.11 >>>>>>> A: "The Parma Polyhedra Library developers' list"<ppl-devel(a)cs.unipr. it> >>>>>>> Cc: "Erotavlas_turbo(a)libero.it"<Erotavlas_turbo(a)libero.it> >>>>>>> Ogg: Re: [PPL-devel] PPL 0.12 bug reporting >>>>>>> >>>>>>> On 04/15/12 11:11, Erotavlas_turbo(a)libero.it wrote: >>>>>>>> Hi, >>>>>>>> >>>>>>>> I have a problem with the latest version of PPL 0.12. I have tried to >>>>>> compile it with Ubuntu 64 bit 11.04 and 11.10. I can compile PPL well but >>>> when >>>>>> I make the tests (by make check), I get a message like this: >>>>>>>> >>>>>>>> Some test failed, please report a bug to the PPL developers. With the >> PPL >>>>>> 0.11 all the test are passed. >>>>>>>> >>>>>>>> Best Regards >>>>>>>> >>>>>>>> Salvatore Frandina >>>>>>> >>>>>>> Hi Salvatore, >>>>>>> >>>>>>> we need more details about the particular test(s) that failed. >>>>>>> Please compress and send also the config.log file that was >>>>>>> created at configure time. >>>>>>> Kind regards, >>>>>>> >>>>>>> Roberto >>>>>>> >>>>>>> -- >>>>>>> Prof. Roberto Bagnara >>>>>>> Applied Formal Methods Laboratory >>>>>>> Department of Mathematics, University of Parma, Italy >>>>>>> http://www.cs.unipr.it/~bagnara/ >>>>>>> mailto:bagnara@cs.unipr.it >>>>>>> >>>>>> >>>>> >>>>> >>>>> -- >>>>> Prof. Roberto Bagnara >>>>> Applied Formal Methods Laboratory >>>>> Department of Mathematics, University of Parma, Italy >>>>> http://www.cs.unipr.it/~bagnara/ >>>>> mailto:bagnara@cs.unipr.it >>>>> >>>> >>>> >>>> _______________________________________________ >>>> PPL-devel mailing list >>>> PPL-devel(a)cs.unipr.it >>>> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >>>> >>> >>> >>> -- >>> Prof. Roberto Bagnara >>> Applied Formal Methods Laboratory >>> Department of Mathematics, University of Parma, Italy >>> http://www.cs.unipr.it/~bagnara/ >>> mailto:bagnara@cs.unipr.it >>> >> >> >> _______________________________________________ >> PPL-devel mailing list >> PPL-devel(a)cs.unipr.it >> http://www.cs.unipr.it/mailman/listinfo/ppl-devel >> > > >-- >Prof. Roberto Bagnara >Applied Formal Methods Laboratory >Department of Mathematics, University of Parma, Italy >http://www.cs.unipr.it/~bagnara/ >mailto:bagnara@cs.unipr.it >

2 1

[GIT] ppl/ppl(master): test01() no longer overflows with 8-bits and assertions on C polyhedra.
by Enea Zaffanella 23 Apr '12

23 Apr '12

Module: ppl/ppl Branch: master Commit: e2d19cc02bd118889b845739d60bafa3dd4b5b7a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e2d19cc02bd1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Apr 23 09:49:04 2012 +0200 test01() no longer overflows with 8-bits and assertions on C polyhedra. --- tests/Polyhedron/boundedh79extrapolation1.cc | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/tests/Polyhedron/boundedh79extrapolation1.cc b/tests/Polyhedron/boundedh79extrapolation1.cc index 6478e03..bb8025a 100644 --- a/tests/Polyhedron/boundedh79extrapolation1.cc +++ b/tests/Polyhedron/boundedh79extrapolation1.cc @@ -71,5 +71,11 @@ test01() { } // namespace BEGIN_MAIN +// Note: test01() only overflows on NNC polyhedra +// (with 8-bit coefficients and assertions turned on). +#ifdef DERIVED_TEST DO_TEST_F8A(test01); +#else + DO_TEST(test01); +#endif END_MAIN

1 0