From b64c41abcf6b2dbc61cc685c15fc5331bba2c1d2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 8 Oct 2003 15:20:38 +0000 Subject: [PATCH] * iface/gspn/Makefile.am (XFAIL_TESTS): Remove. --- ChangeLog | 9 +++++---- iface/gspn/Makefile.am | 1 - 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8a9e84ab0..be83b3bd7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,18 +1,19 @@ -2003-10-06 Rachid REBIHA +2003-10-08 Alexandre Duret-Lutz + + * iface/gspn/Makefile.am (XFAIL_TESTS): Remove. + +2003-10-06 Rachid REBIHA * iface/gspn/ltlgspn.cc: We call tgba_emptiness_check before counter_example. And we print the prefix and the periode of counter_example's result. - * src/tgbatest/emptinesscheckexplicit.cc (main): We call tgba_emptiness_check before counter_example. * src/tgbatest/emptinesscheck.cc (main): We call tgba_emptiness_check before counter_example. - * src/tgbaalgos/emptinesscheck.hh (spot): (spot::print_result): New methode to print the prefix and the periode of counter_example's result. - * src/tgbaalgos/emptinesscheck.cc (spot): counter_example doesn't call tgba_emptiness_check. counter_example must be executed after calling tgba_emptiness_check. Remove tgba_emptiness_check calls. diff --git a/iface/gspn/Makefile.am b/iface/gspn/Makefile.am index 33bce6cfa..d445b188c 100644 --- a/iface/gspn/Makefile.am +++ b/iface/gspn/Makefile.am @@ -71,7 +71,6 @@ TESTS = \ udcseltl.test \ udcsfm.test \ udcsefm.test -XFAIL_TESTS = udcseltl.test udcsefm.test # Each test case depends on defs. check_SCRIPTS = defs