
10 Jun
2009
10 Jun
'09
9:53 a.m.
Module: ppl/ppl Branch: floating_point Commit: 7a810826f459bd918da77b554c632fe6f909829f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a810826f459b...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed May 20 13:16:36 2009 +0200
Test test02() overflows with 16 bit checked integers.
---
tests/Polyhedron/wrap2.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/tests/Polyhedron/wrap2.cc b/tests/Polyhedron/wrap2.cc index 363c28f..ca9e8dd 100644 --- a/tests/Polyhedron/wrap2.cc +++ b/tests/Polyhedron/wrap2.cc @@ -94,5 +94,5 @@ test02() {
BEGIN_MAIN DO_TEST_F8(test01); - DO_TEST_F8(test02); + DO_TEST_F16(test02); END_MAIN