CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2008-09-06 10:40:01

Modified files: tests/Polyhedron: randphull1.cc

Log message: Reset the rounding mode to its pre-PPL state before doing any non-PPL floating point computation. This is to avoid bugs as http://sources.redhat.com/bugzilla/show_bug.cgi?id=6869 and also to test the rounding-mode setting/resetting functions. When NDEBUG is not defined, limit the maximum space dimension tested by test02() to 4 (instead of 6).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/randphull1.cc...