Searched refs:verified (Results 1 - 12 of 12) sorted by relevance
/barrelfish-master/usr/bench/rcce/bt/ |
H A D | verify.c | 23 int verified; local 35 verified = 1; 273 verified = 0; 299 verified = (dabs(dt-dtref) <= epsilon); 300 if (!verified) { 324 verified = 0; 344 verified = 0; 354 } else if (verified) { 361 *verified_r = verified;
|
H A D | bt.c | 68 int verified; local 164 verify(niter, &class, &verified); 182 verified, NPBVERSION,COMPILETIME, CS1, CS2, CS3, CS4, CS5,
|
H A D | header.h | 236 extern void verify(int niter, char *class, int *verified); 243 extern void btio_verify(int *verified);
|
/barrelfish-master/usr/bench/bomp_benchmark/ |
H A D | ep.c | 74 boolean verified; local 97 verified = FALSE; 229 verified = TRUE; 234 verified = TRUE; 239 verified = TRUE; 244 verified = TRUE; 249 verified = TRUE; 269 verified, NPBVERSION, COMPILETIME,
|
H A D | ft.c | 71 boolean *verified, char *class); 115 boolean verified; local 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 900 verify(int d1, int d2, int d3, int nt, boolean *verified, char *class) argument [all...] |
H A D | cg.c | 115 boolean verified; local 337 verified = TRUE; 342 verified = FALSE; 348 verified = FALSE; 369 /* verified, NPBVERSION, COMPILETIME, */
|
/barrelfish-master/usr/bench/rcce/lu/ |
H A D | verify.c | 25 int verified = 1; local 252 } else verified = 0; 277 verified = (fabs(dt-dtref) <= epsilon); 278 if (!verified) { 295 verified = 0; 311 verified = 0; 325 verified = 0; 333 } else if (verified) {
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsstyle.tex | 82 solutions that still can be explored. This is verified with the tracer tool in
|
H A D | umsintro.tex | 229 %variables is bound and the delay condition is then verified again.
|
H A D | umsdeveltools.tex | 752 (i.e., is aliased), this must be manually verified.
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embremoteproto.tex | 308 % if not verified, terminate connection
|
/barrelfish-master/usr/eclipseclp/documents/applications/ |
H A D | tutorial.tex | 1950 \item The final code may not contain open choice points, except for alternative solutions that still can be explored. This is verified with the tracer tool in the debugger.
|
Completed in 72 milliseconds