Lines Matching defs:DURATION
28 DURATION,
612 FILE_NAME, PROG_NAME, VERDICT, DURATION,
620 FILE_NAME, PROG_NAME, VERDICT, DURATION,
652 [DURATION] = { "Duration (us)", {"duration", "dur"}, },
808 if (1 == sscanf(cur, "verification time %ld usec\n", &s->stats[DURATION]))
1010 printf("PROCESSING %s/%s, DURATION US: %ld, VERDICT: %s, VERIFIER LOG:\n%s\n",
1011 filename, prog_name, stats->stats[DURATION],
1118 case DURATION:
1318 case DURATION:
1402 case DURATION: