Module: ppl/ppl Branch: master Commit: e52d48a8ab59a5036becb3413b8f63c2d2bd1e83 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52d48a8ab59a...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 21 18:07:01 2010 +0100

Be more informative in case something goes wrong.

---

tests/Polyhedron/watchdog1.cc | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/tests/Polyhedron/watchdog1.cc b/tests/Polyhedron/watchdog1.cc index 0548f52..3350554 100644 --- a/tests/Polyhedron/watchdog1.cc +++ b/tests/Polyhedron/watchdog1.cc @@ -81,7 +81,12 @@ timed_compute_open_hypercube_generators(dimension_type dimension, nout << " s" << endl; return false; } + catch (const std::exception& e) { + nout << "unexpected std::exception: \n" << e.what() << endl; + exit(1); + } catch (...) { + nout << "unexpected unknown exception" << endl; exit(1); } // Should never get here.