Lines Matching defs:DURATION

42 	DURATION,
743 		FILE_NAME, PROG_NAME, VERDICT, DURATION,
794 		FILE_NAME, PROG_NAME, VERDICT, DURATION,
828 	[DURATION] = { "Duration (us)", {"duration", "dur"}, },
1016 		if (1 == sscanf(cur, "verification time %ld usec\n", &s->stats[DURATION]))
1693 		printf("PROCESSING %s/%s, DURATION US: %ld, VERDICT: %s, VERIFIER LOG:\n%s\n",
1694 		       filename, prog_name, stats->stats[DURATION],
2296 	case DURATION:
2522 	case DURATION:
2610 	case DURATION: