[PPL-devel] [GIT] ppl/ppl(master): Disabled test04() on the Alpha.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Apr 5 18:55:17 CEST 2009
Module: ppl/ppl
Branch: master
Commit: d38cfbdcfa92ca251472db240fb1d84b981f9791
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d38cfbdcfa92ca251472db240fb1d84b981f9791
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Apr 3 10:21:01 2009 +0000
Disabled test04() on the Alpha.
---
.../Octagonal_Shape/generalizedaffinepreimage3.cc | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/tests/Octagonal_Shape/generalizedaffinepreimage3.cc b/tests/Octagonal_Shape/generalizedaffinepreimage3.cc
index 095d17e..98b5afb 100644
--- a/tests/Octagonal_Shape/generalizedaffinepreimage3.cc
+++ b/tests/Octagonal_Shape/generalizedaffinepreimage3.cc
@@ -597,7 +597,10 @@ BEGIN_MAIN
DO_TEST(test01);
DO_TEST(test02);
DO_TEST(test03);
+#ifndef __alpha__
+ // Exception handling is broken in GCC on the Alpha.
DO_TEST(test04);
+#endif
DO_TEST(test05);
DO_TEST(test06);
DO_TEST(test07);
More information about the PPL-devel
mailing list