printf("Usage:\n <exe> -n <kernel name> -d <directory of the unit tests> -p <prefix to the name of the test> -i <test index> -k <test kind> [-t <tolerance>]\n\n");
printf("Usage:\n <exe> -n <kernel name> -d <directory of the unit tests> -p <prefix to the name of the test> -i <test index> -k <kernel kind> [-t <tolerance>]\n\n");