Re: [PPL-devel] PPL info - bug report?

-- Jacopo Mantovani Artificial Intelligence Laboratory DIST - University of Genova http://www.ai.dist.unige.it/jacopo ... creating watchdog1 make[3]: Leaving directory `/root/ppl-0.6.1/tests' make check-TESTS make[3]: Entering directory `/root/ppl-0.6.1/tests' PASS: CbecomesNNC1 PASS: NNCminimize1 PASS: NNCminimize2 PASS: NNCminimize3 PASS: NNCminimize4 PASS: NNCminimize5 PASS: NNCminimize6 PASS: addconstraint1 PASS: addconstraint2 PASS: addconstraint3 PASS: addconstraints1 PASS: addconstraints2 PASS: addconstraints3 PASS: addconstraints4 PASS: addconstraints5 PASS: addconstraints6 PASS: addconstraints7 PASS: addconstraints8 PASS: addconstraints9 PASS: addconstraints10 PASS: addconstraints11 PASS: addconstraints12 PASS: addconstraints13 PASS: adddimensions1 PASS: adddimensions2 PASS: adddimensions3 PASS: adddimensions4 PASS: adddimensions5 PASS: adddimensions6 PASS: adddimensions7 PASS: adddimensions8 PASS: adddimensions9 PASS: adddimensions10 PASS: adddimensions11 PASS: adddimensions12 PASS: adddimensions13 PASS: addgenerator1 PASS: addgenerator2 PASS: addgenerator3 PASS: addgenerator4 PASS: addgenerators1 PASS: addgenerators2 PASS: addgenerators3 PASS: addgenerators4 PASS: addgenerators5 PASS: addgenerators6 PASS: addgenerators7 PASS: addgenerators8 PASS: addgenerators9 PASS: addgenerators10 XFAIL: addgenerators11 PASS: addgenerators12 PASS: addgenerators13 PASS: affineimage1 PASS: affineimage2 PASS: affineimage3 PASS: affineimage4 PASS: affineimage5 PASS: affineimage6 PASS: affineimage7 PASS: affineimage8 PASS: affinepreimage1 PASS: affinepreimage2 PASS: affinepreimage3 PASS: affinepreimage4 PASS: affinepreimage5 PASS: affinepreimage6 PASS: affinepreimage7 PASS: affinepreimage8 PASS: affinepreimage9 PASS: affinepreimage10 PASS: affinetrans PASS: append1 PASS: append2 PASS: ascii_dump_load1 PASS: ascii_dump_load2 PASS: ascii_dump_load3 PASS: ascii_dump_load4 PASS: ascii_dump_load5 PASS: ascii_dump_load6 PASS: ascii_dump_load7 PASS: bgp99extrapolation1 PASS: bgp99extrapolation2 PASS: bhrz03widening1 PASS: bhrz03widening2 PASS: bhrz03widening3 PASS: bhrz03widening4 PASS: bhrz03widening5 PASS: bhrz03widening6 PASS: bhrz03widening7 PASS: bhrz03widening8 PASS: bhrz03widening9 PASS: bhrz03widening10 PASS: bhrz03widening11 PASS: bhrz03widening12 PASS: bhrz03widening13 PASS: bhrz03widening14 PASS: bhrz03widening15 PASS: bhrz03widening16 PASS: bhrz03widening17 PASS: bhrz03widening18 PASS: bhrz03widening19 PASS: bhz03widening1 PASS: bhz03widening2 PASS: bhz03widening3 PASS: bhz03widening4 PASS: bhz03widening5 PASS: bhz03widening6 PASS: bounded1 PASS: boundedh79extrapolation1 PASS: bounds1 PASS: bounds2 PASS: boundingbox1 PASS: boundingbox2 PASS: boundingbox3 PASS: boundingbox4 PASS: boundingbox5 PASS: concatenate1 PASS: concatenate2 PASS: concatenate3 PASS: concatenate4 PASS: concatenate5 PASS: concatenate6 PASS: constraints1 PASS: constraints2 PASS: constraints3 PASS: constraints4 PASS: contains1 PASS: contains2 PASS: contains3 PASS: contains4 PASS: contains5 PASS: disjoint1 PASS: disjoint2 PASS: disjoint3 PASS: dualhypercubes PASS: empty1 PASS: exceptions1 PASS: exceptions2 PASS: exceptions3 PASS: expanddim1 PASS: expanddim2 PASS: folddims1 PASS: folddims2 PASS: generalizedaffineimage1 PASS: generalizedaffineimage2 PASS: generalizedaffineimage3 PASS: generalizedaffineimage4 PASS: generalizedaffineimage5 PASS: generalizedaffineimage6 PASS: generalizedaffineimage7 PASS: generalizedaffineimage8 PASS: generalizedaffineimage9 PASS: generalizedaffineimage10 PASS: generalizedaffineimage11 PASS: generalizedaffineimage12 PASS: generators1 PASS: generators2 PASS: generators3 PASS: generators4 PASS: generators5 PASS: generators6 PASS: h79widening1 PASS: h79widening2 PASS: h79widening3 PASS: h79widening4 PASS: h79widening5 PASS: h79widening6 PASS: h79widening7 PASS: intersection1 PASS: intersection2 PASS: intersection3 PASS: intersection4 PASS: intersection5 PASS: intersection6 PASS: intersection7 PASS: intersection8 PASS: intersection9 PASS: intersection10 PASS: intersection11 PASS: limitedbhrz03extrapolation1 PASS: limitedh79extrapolation1 PASS: limitedh79extrapolation2 PASS: limitedh79extrapolation3 PASS: limitedh79extrapolation4 PASS: linearpartition1 PASS: linearpartition2 PASS: linearpartition3 PASS: linexpression1 PASS: mc91 PASS: memory1 PASS: minconstraints1 PASS: minconstraints2 PASS: minconstraints3 PASS: minconstraints4 PASS: mingenerators1 PASS: mingenerators2 PASS: mingenerators3 PASS: onepoint PASS: permute PASS: polydifference1 PASS: polydifference2 PASS: polydifference3 PASS: polydifference4 PASS: polydifference5 PASS: polydifference6 PASS: polydifference7 PASS: polydifference8 PASS: polyhull1 PASS: polyhull2 PASS: polyhull3 PASS: polyhull4 PASS: polyhull5 PASS: polyhull6 PASS: polyhull7 PASS: polyhull8 PASS: polyhull9 PASS: polyhull10 PASS: randphull1 PASS: randphull2 PASS: relations1 PASS: relations2 PASS: relations3 PASS: relations4 PASS: relations5 PASS: relations6 PASS: relations7 PASS: relations8 PASS: relations9 PASS: relations10 PASS: relations11 PASS: relations12 PASS: relations13 PASS: relations14 PASS: relations15 PASS: relations16 PASS: relations17 PASS: relations18 PASS: relations19 PASS: removedim1 PASS: removedim2 PASS: removedim3 PASS: removedim4 PASS: removedim5 PASS: removedim6 PASS: removedim7 PASS: removedim8 PASS: removedim9 PASS: removedim10 PASS: mapdim1 PASS: mapdim2 PASS: mapdim3 PASS: max_min1 PASS: max_min2 PASS: smm1 PASS: timeelapse1 PASS: timeelapse2 PASS: timeelapse3 PASS: timeelapse4 PASS: timeelapse5 PASS: timeelapse6 PASS: timeelapse7 PASS: timeelapse8 PASS: topclosed1 PASS: topclosed2 PASS: topclosed3 PASS: topclosure1 PASS: topclosure2 PASS: topclosure3 PASS: topclosure4 PASS: universe1 PASS: universe2 PASS: universe3 PASS: universe4 PASS: universe5 PASS: universe6 PASS: writeconsys1 PASS: writegensys1 PASS: writegensys2 PASS: writegensys3 PASS: writepolyhedron1 PASS: writepolyhedron2 PASS: writepolyhedron3 PASS: writerelation1 PASS: writevariable1 PASS: nnc_addconstraint2 PASS: nnc_addconstraint3 PASS: nnc_addconstraints1 PASS: nnc_addconstraints2 PASS: nnc_addconstraints3 PASS: nnc_addconstraints4 PASS: nnc_addconstraints5 PASS: nnc_addconstraints6 PASS: nnc_addconstraints7 PASS: nnc_addconstraints8 PASS: nnc_addconstraints9 PASS: nnc_addconstraints10 PASS: nnc_addconstraints13 PASS: nnc_adddimensions1 PASS: nnc_adddimensions2 PASS: nnc_adddimensions3 PASS: nnc_adddimensions4 PASS: nnc_adddimensions9 PASS: nnc_adddimensions12 PASS: nnc_addgenerator3 PASS: nnc_addgenerators1 PASS: nnc_addgenerators2 PASS: nnc_addgenerators3 PASS: nnc_addgenerators4 PASS: nnc_addgenerators5 PASS: nnc_addgenerators6 PASS: nnc_addgenerators9 PASS: nnc_addgenerators10 PASS: nnc_addgenerators12 PASS: nnc_addgenerators13 PASS: nnc_affineimage1 PASS: nnc_affineimage2 PASS: nnc_affineimage3 PASS: nnc_affineimage4 PASS: nnc_affineimage5 PASS: nnc_affineimage6 PASS: nnc_affineimage7 PASS: nnc_affineimage8 PASS: nnc_affinepreimage1 PASS: nnc_affinepreimage2 PASS: nnc_affinepreimage3 PASS: nnc_affinepreimage4 PASS: nnc_affinepreimage5 PASS: nnc_affinepreimage6 PASS: nnc_affinepreimage7 PASS: nnc_affinepreimage8 PASS: nnc_affinepreimage9 PASS: nnc_affinepreimage10 PASS: nnc_affinetrans PASS: nnc_append1 PASS: nnc_append2 PASS: nnc_ascii_dump_load1 PASS: nnc_ascii_dump_load2 PASS: nnc_ascii_dump_load3 PASS: nnc_ascii_dump_load6 PASS: nnc_ascii_dump_load7 PASS: nnc_bgp99extrapolation1 PASS: nnc_bgp99extrapolation2 PASS: nnc_bhrz03widening1 PASS: nnc_bhrz03widening2 PASS: nnc_bhrz03widening3 PASS: nnc_bhrz03widening5 PASS: nnc_bhrz03widening6 PASS: nnc_bhrz03widening8 PASS: nnc_bhrz03widening9 PASS: nnc_bhrz03widening10 PASS: nnc_bhrz03widening11 PASS: nnc_bhrz03widening12 PASS: nnc_bounded1 PASS: nnc_boundedh79extrapolation1 PASS: nnc_boundingbox1 PASS: nnc_boundingbox3 PASS: nnc_boundingbox5 PASS: nnc_bounds1 PASS: nnc_bounds2 PASS: nnc_concatenate1 PASS: nnc_concatenate2 PASS: nnc_concatenate3 PASS: nnc_concatenate4 PASS: nnc_concatenate5 PASS: nnc_concatenate6 PASS: nnc_constraints1 PASS: nnc_constraints2 PASS: nnc_constraints3 PASS: nnc_constraints4 PASS: nnc_contains1 PASS: nnc_contains2 PASS: nnc_disjoint1 PASS: nnc_disjoint2 PASS: nnc_empty1 PASS: nnc_exceptions1 PASS: nnc_exceptions3 PASS: nnc_expanddim1 PASS: nnc_folddims1 PASS: nnc_generalizedaffineimage1 PASS: nnc_generalizedaffineimage2 PASS: nnc_generalizedaffineimage3 PASS: nnc_generalizedaffineimage5 PASS: nnc_generalizedaffineimage6 PASS: nnc_generalizedaffineimage11 PASS: nnc_generators1 PASS: nnc_generators2 PASS: nnc_generators3 PASS: nnc_generators4 PASS: nnc_generators5 PASS: nnc_generators6 PASS: nnc_h79widening1 PASS: nnc_h79widening2 PASS: nnc_h79widening4 PASS: nnc_h79widening5 PASS: nnc_h79widening6 PASS: nnc_h79widening7 PASS: nnc_intersection1 PASS: nnc_intersection2 PASS: nnc_intersection3 PASS: nnc_intersection4 PASS: nnc_intersection5 PASS: nnc_intersection6 PASS: nnc_intersection7 PASS: nnc_intersection8 PASS: nnc_intersection9 PASS: nnc_intersection10 PASS: nnc_intersection11 PASS: nnc_limitedbhrz03extrapolation1 PASS: nnc_limitedh79extrapolation1 PASS: nnc_limitedh79extrapolation2 XFAIL: nnc_limitedh79extrapolation3 PASS: nnc_limitedh79extrapolation4 PASS: nnc_linearpartition1 PASS: nnc_linearpartition2 PASS: nnc_linearpartition3 PASS: nnc_mc91 PASS: nnc_minconstraints1 PASS: nnc_minconstraints2 PASS: nnc_mingenerators1 PASS: nnc_mingenerators2 PASS: nnc_onepoint PASS: nnc_permute XFAIL: nnc_polydifference1 PASS: nnc_polydifference3 PASS: nnc_polydifference4 PASS: nnc_polydifference6 PASS: nnc_polydifference7 PASS: nnc_polyhull1 PASS: nnc_polyhull2 PASS: nnc_polyhull3 PASS: nnc_polyhull4 PASS: nnc_polyhull5 PASS: nnc_polyhull6 PASS: nnc_polyhull7 PASS: nnc_polyhull8 PASS: nnc_polyhull9 PASS: nnc_polyhull10 PASS: nnc_randphull1 PASS: nnc_randphull2 PASS: nnc_relations1 PASS: nnc_relations2 PASS: nnc_relations3 PASS: nnc_relations4 PASS: nnc_relations5 PASS: nnc_relations6 PASS: nnc_relations7 PASS: nnc_relations8 PASS: nnc_relations9 PASS: nnc_relations10 PASS: nnc_relations12 PASS: nnc_relations13 PASS: nnc_relations14 PASS: nnc_relations15 PASS: nnc_relations16 PASS: nnc_relations19 PASS: nnc_removedim1 PASS: nnc_removedim2 PASS: nnc_removedim3 PASS: nnc_removedim4 PASS: nnc_removedim5 PASS: nnc_removedim6 PASS: nnc_removedim8 PASS: nnc_removedim9 PASS: nnc_removedim10 PASS: nnc_mapdim1 PASS: nnc_mapdim2 PASS: nnc_mapdim3 PASS: nnc_max_min1 PASS: nnc_max_min2 PASS: nnc_smm1 PASS: nnc_timeelapse2 PASS: nnc_timeelapse5 PASS: nnc_timeelapse6 PASS: nnc_timeelapse7 PASS: nnc_timeelapse8 PASS: nnc_universe1 PASS: nnc_universe2 PASS: nnc_universe3 PASS: nnc_universe4 PASS: nnc_universe5 PASS: nnc_writepolyhedron2 PASS: nnc_writepolyhedron3 PASS: watchdog1 ======================================================= All 484 tests behaved as expected (3 expected failures) ======================================================= make[3]: Leaving directory `/root/ppl-0.6.1/tests' make[2]: Leaving directory `/root/ppl-0.6.1/tests' make[1]: Leaving directory `/root/ppl-0.6.1/tests' Making check in interfaces make[1]: Entering directory `/root/ppl-0.6.1/interfaces' Making check in C make[2]: Entering directory `/root/ppl-0.6.1/interfaces/C' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/root/ppl-0.6.1/interfaces/C' Making check in Prolog make[2]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog' Making check in Ciao make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/Ciao' Making check in GNU make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/GNU' Making check in SICStus make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SICStus' Making check in SWI make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[6]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[6]: Nothing to be done for `all-am'. make[6]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/SWI' Making check in XSB make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/XSB' Making check in YAP make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make[4]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make check-local make[5]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make[5]: Nothing to be done for `check-local'. make[5]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make[4]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog/YAP' make[3]: Entering directory `/root/ppl-0.6.1/interfaces/Prolog' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog' make[2]: Leaving directory `/root/ppl-0.6.1/interfaces/Prolog' make[2]: Entering directory `/root/ppl-0.6.1/interfaces' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/root/ppl-0.6.1/interfaces' make[1]: Leaving directory `/root/ppl-0.6.1/interfaces' Making check in demos make[1]: Entering directory `/root/ppl-0.6.1/demos' Making check in ppl_lcdd make[2]: Entering directory `/root/ppl-0.6.1/demos/ppl_lcdd' Making check in examples make[3]: Entering directory `/root/ppl-0.6.1/demos/ppl_lcdd/examples' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lcdd/examples' make[3]: Entering directory `/root/ppl-0.6.1/demos/ppl_lcdd' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lcdd' make[2]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lcdd' Making check in ppl_lpsol make[2]: Entering directory `/root/ppl-0.6.1/demos/ppl_lpsol' Making check in examples make[3]: Entering directory `/root/ppl-0.6.1/demos/ppl_lpsol/examples' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lpsol/examples' make[3]: Entering directory `/root/ppl-0.6.1/demos/ppl_lpsol' make check-local make[4]: Entering directory `/root/ppl-0.6.1/demos/ppl_lpsol' make[4]: Nothing to be done for `check-local'. make[4]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lpsol' make[3]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lpsol' make[2]: Leaving directory `/root/ppl-0.6.1/demos/ppl_lpsol' make[2]: Entering directory `/root/ppl-0.6.1/demos' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/root/ppl-0.6.1/demos' make[1]: Leaving directory `/root/ppl-0.6.1/demos' Making check in doc make[1]: Entering directory `/root/ppl-0.6.1/doc' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/root/ppl-0.6.1/doc' Making check in m4 make[1]: Entering directory `/root/ppl-0.6.1/m4' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/root/ppl-0.6.1/m4' make[1]: Entering directory `/root/ppl-0.6.1' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/root/ppl-0.6.1'