src/test/test_tools_fail.cc
changeset 727 aada518af30f
child 906 17f31d280385
equal deleted inserted replaced
-1:000000000000 0:181461814eae
       
     1 #include "test_tools.h"
       
     2 
       
     3 int main() 
       
     4 {
       
     5   check(false, "Don't panic. Failing is the right behaviour.");
       
     6   return 0;
       
     7 }