Commit 46756c95 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbatest/spotlbtt.test: Add notice about long run time.

parent d46c63a2
2003-10-23 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/spotlbtt.test: Add notice about long run time.
Merge emptinesscheckexplicit into ltl2tgba.
* src/tgbatest/Makefile.am (check_PROGRAMS): Remove
emptinesscheckexplicit.
......
#!/bin/sh
echo 'This test can take as long as 15 minutes on a 2GHz Pentium 4.'
. ./defs
set -e
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment