Lines Matching refs:verified
71 boolean *verified, char *class);
115 boolean verified;
212 verify(NX, NY, NZ, niter, &verified, &class);
237 /* total_time, mflops, " floating point", verified, */
901 boolean *verified, char *class) {
1056 *verified = TRUE;
1067 *verified = FALSE;
1072 *verified = FALSE;
1084 *verified = FALSE;
1089 *verified = FALSE;
1101 *verified = FALSE;
1106 *verified = FALSE;
1118 *verified = FALSE;
1123 *verified = FALSE;
1135 *verified = FALSE;
1140 *verified = FALSE;