fprintf(stderr,"Child process pid=%d of checker (that issues read/write syscalls to the driver) got killed after TIMEOUT=%ds\n",getpid(),GENERIC_TEST_TIMEOUT);
...
...
@@ -65,26 +66,26 @@ do_test(const char *description, int value, int expected, int negate, int fatal,