if (!strncmp(argv[i],\"--tests=\",strlen(\"--tests=\"))) {
char *p=strchr(argv[i],'=')+1;
if (selection[0] == '\\0') {
if (!strncmp(argv[i],\"--tests=\",strlen(\"--tests=\"))) {
char *p=strchr(argv[i],'=')+1;
if (selection[0] == '\\0') {
} else {
strncat(selection, \",\",1);
} else {
strncat(selection, \",\",1);