[PPL-devel] [GIT] ppl/ppl(master): Be more informative in case something goes wrong.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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.