diff options
| author | Enea Zaffanella <zaffanella@cs.unipr.it> | 2012-04-04 12:07:32 +0200 |
|---|---|---|
| committer | Enea Zaffanella <zaffanella@cs.unipr.it> | 2012-04-04 12:07:32 +0200 |
| commit | 46f8f37cd5bae3620a949e82dd700d2dbb466519 (patch) | |
| tree | 3e8d9edec0aa01e254e283bcd48893bc6b53cd05 /tests | |
| parent | 440744bf1b2936648e2468acc37b025522a30566 (diff) | |
| parent | 717a18d0a06e1a32a36c31896d4cb055015717e4 (diff) | |
| download | ppl-46f8f37cd5bae3620a949e82dd700d2dbb466519.tar.gz ppl-46f8f37cd5bae3620a949e82dd700d2dbb466519.tar.bz2 ppl-46f8f37cd5bae3620a949e82dd700d2dbb466519.zip | |
Merge branch 'master' into sparse_matrices
Conflicts:
src/BD_Shape.templates.hh
src/Box.templates.hh
src/Congruence_System.defs.hh
src/Octagonal_Shape.templates.hh
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Box/propagateconstraints2.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/Box/propagateconstraints2.cc b/tests/Box/propagateconstraints2.cc index 4c34110f5..a17acb87e 100644 --- a/tests/Box/propagateconstraints2.cc +++ b/tests/Box/propagateconstraints2.cc @@ -386,7 +386,11 @@ bool test01() { print_constraints(tbox, "*** tbox.propagate_edges() ***"); +#if PPL_SUPPORTED_DOUBLE bool ok = check_result(tbox, qbox2, "18.36", "2.83", "2.79"); +#else + bool ok = check_result(tbox, qbox2, "30.96", "2.83", "2.79"); +#endif return ok; } |