Lines Matching refs:VERIFY
157 echo " $CC" -DVERIFY $CFLAGS "$@" $0 -o verify $LIBS
158 $CC -DVERIFY $CFLAGS ${@+"$@"} $0 -o verify $LIBS ||
160 echo " verify -fl > verify.out"
161 ./verify -fl > verify.out ||
162 echo ' *** Some problems: see verify.out'
214 cc -DVERIFY enquire.c -o verify #this includes limits.h and float.h
215 verify -fl > verify.out
302 verify that the compiler reads them back correctly (there are a lot of
372 not in the cast (see function Verify()).
456 Added VERIFY and TEST
462 Added check for absence of defines during verify
500 Renamed and altered Verify() to better check faulty compilers
633 #ifdef VERIFY
1120 #ifdef VERIFY
1268 /* If VERIFY is not set, val and req are just the same value;
1273 printf("%s*** Verify failed for above #define!\n", co);
1295 printf("%s*** Verify failed for above #define!\n", co);
1574 #ifdef VERIFY
1811 #endif /* VERIFY */
1814 #ifdef VERIFY
1824 #endif /* VERIFY */
2160 #undef Verify
2217 #ifdef VERIFY
2218 #define Verify fVerify
2235 #ifdef VERIFY
2279 #endif /* VERIFY */
2305 #ifdef VERIFY
2306 #define Verify dVerify
2321 #ifdef VERIFY
2359 #endif /* VERIFY */
2389 #ifdef VERIFY
2390 #define Verify ldVerify
2407 #ifdef VERIFY
2445 #endif /* VERIFY */
2497 #ifndef VERIFY
2498 #define Verify(prec, val, req, same, same1) {;}
2735 #ifdef VERIFY
2736 Void Verify ARGS5(int, prec, Number, val, Number, req, int, same, int, same1)
2741 printf("%s*** Verify failed for above #define!\n", co);
2767 #endif /* VERIFY */
2996 if (F) Verify(digs, f_epsilon, F_EPSILON,
3080 if (F) Verify(digs, f_min, F_MIN,
3084 printf("%s*** Verify failed for above #define!\n %s %s\n\n",
3169 if (F) Verify(digs, f_max, F_MAX,
3173 printf("%s*** Verify failed for above #define!\n %s %s\n\n",
