diff --git a/ChangeLog b/ChangeLog index eee80c294..dc492e498 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2003-10-23 Alexandre Duret-Lutz + * src/tgbatest/spotlbtt.test: Add notice about long run time. + Merge emptinesscheckexplicit into ltl2tgba. * src/tgbatest/Makefile.am (check_PROGRAMS): Remove emptinesscheckexplicit. diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test index e9059f2db..62bd7ade9 100755 --- a/src/tgbatest/spotlbtt.test +++ b/src/tgbatest/spotlbtt.test @@ -1,5 +1,7 @@ #!/bin/sh +echo 'This test can take as long as 15 minutes on a 2GHz Pentium 4.' + . ./defs set -e