[PPL-devel] test failure

[Jason Addison]

<<snip>>

****************************  long_double/IEEE754_QUAD
****************************
make  C_Expr linearform1 linearize digitalfilters1 bdshape1 bdshape2
octagonalshape1 octagonalshape2 polyhedron1 polyhedron2  \
	  run_tests
g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../..
-DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD
-I../../src -I../../../src -I../../../tests -I../../../utils
-I/Users/jra/pks/gcc-4.7.2/include -DNDEBUG=1   -g -O2 -frounding-math
 -W -Wall -MT C_Expr.o -MD -MP -MF .deps/C_Expr.Tpo -c -o C_Expr.o
../../../tests/Concrete_Expression/C_Expr.cc
In file included from ../../../tests/ppl_test.hh:27,
                 from ../../../tests/Concrete_Expression/C_Expr.cc:25:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"

<<snip>>

g++ -DHAVE_CONFIG_H -I. -I../../../tests/Concrete_Expression -I../..
-DANALYZER_FP_FORMAT=long_double -DANALYZED_FP_FORMAT=IEEE754_QUAD
-I../../src -I../../../src -I../../../tests -I../../../utils
-I/Users/jra/pks/gcc-4.7.2/include -DNDEBUG=1   -g -O2 -frounding-math
 -W -Wall -MT polyhedron2.o -MD -MP -MF .deps/polyhedron2.Tpo -c -o
polyhedron2.o ../../../tests/Concrete_Expression/polyhedron2.cc
In file included from ../../../tests/ppl_test.hh:27,
                 from ../../../tests/Concrete_Expression/polyhedron2.cc:26:
../../../src/ppl_header.hh:95:9: warning: undefining "__STDC_LIMIT_MACROS"
mv -f .deps/polyhedron2.Tpo .deps/polyhedron2.Po
/bin/sh ../../libtool  --tag=CXX   --mode=link g++  -g -O2
-frounding-math  -W -Wall   -o polyhedron2 polyhedron2.o
../../utils/libppl_utils.a ../../tests/libppl_tests.a
../../src/libppl.la -L/Users/jra/pks/gcc-4.7.2/lib -lgmpxx -lgmp
libtool: link: g++ -g -O2 -frounding-math -W -Wall -o
.libs/polyhedron2 polyhedron2.o -Wl,-bind_at_load
../../utils/libppl_utils.a ../../tests/libppl_tests.a
../../src/.libs/libppl.dylib -L/Users/jra/pks/gcc-4.7.2/lib
/Users/jra/pks/gcc-4.7.2/lib/libgmpxx.dylib
/Users/jra/pks/gcc-4.7.2/lib/libgmp.dylib
make[5]: Nothing to be done for `../../../tests/Concrete_Expression/run_tests'.
make  check-TESTS
PASS: C_Expr
PASS: linearform1
PASS: linearize
PASS: digitalfilters1
PASS: bdshape1
PASS: bdshape2
PASS: octagonalshape1
PASS: octagonalshape2
tests failed: test04 test05
FAIL: polyhedron1
tests failed: test04 test05
FAIL: polyhedron2
======================================
2 of 10 tests failed
Please report to ppl-devel at cs.unipr.it
======================================
make[5]: *** [check-TESTS] Error 1
make[4]: *** [check-am] Error 2
make[3]: *** [run_tests.stamp] Error 1
make[2]: *** [check-am] Error 2
make[1]: *** [check-recursive] Error 1
make: *** [check-recursive] Error 1
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 216197 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20121022/c7dd92d4/attachment.obj>