Lines Matching defs:VERDICT
27 VERDICT,
39 NUM_STATS_CNT = FILE_NAME - VERDICT,
612 FILE_NAME, PROG_NAME, VERDICT, DURATION,
620 FILE_NAME, PROG_NAME, VERDICT, DURATION,
651 [VERDICT] = { "Verdict", {"verdict"}, true /* asc: failure, success */, true /* left */ },
1006 stats->stats[VERDICT] = err == 0; /* 1 - success, 0 - failure */
1010 printf("PROCESSING %s/%s, DURATION US: %ld, VERDICT: %s, VERIFIER LOG:\n%s\n",
1117 case VERDICT:
1192 else if (id == VERDICT)
1312 case VERDICT:
1316 *str = s->stats[VERDICT] ? "success" : "failure";
1392 case VERDICT:
1394 st->stats[VERDICT] = true;
1396 st->stats[VERDICT] = false;