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 70 milliseconds