1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/test/test_tools_fail.cc Thu Jul 22 14:21:46 2004 +0000
1.3 @@ -0,0 +1,7 @@
1.4 +#include "test_tools.h"
1.5 +
1.6 +int main()
1.7 +{
1.8 + check(false, "Don't panic. Failing is the right behaviour.");
1.9 + return 0;
1.10 +}