int main(void) { #if defined(CK_F_PR_STORE_DOUBLE) && defined(CK_F_PR_LOAD_DOUBLE) double d; ck_pr_store_double(&d, 0.0); if (ck_pr_load_double(&d) != 0.0) { ck_error("Stored 0 in double, did not find 0.\n"); } #endif common_srand((unsigned int)getpid()); #ifdef CK_F_PR_STORE_64 CK_PR_STORE_B(64); #endif #ifdef CK_F_PR_STORE_32 CK_PR_STORE_B(32); #endif #ifdef CK_F_PR_STORE_16 CK_PR_STORE_B(16); #endif #ifdef CK_F_PR_STORE_8 CK_PR_STORE_B(8); #endif return (0); }
int main(void) { srandom((unsigned int)getpid()); #ifdef CK_F_PR_STORE_64 CK_PR_STORE_B(64); #endif #ifdef CK_F_PR_STORE_32 CK_PR_STORE_B(32); #endif #ifdef CK_F_PR_STORE_16 CK_PR_STORE_B(16); #endif #ifdef CK_F_PR_STORE_8 CK_PR_STORE_B(8); #endif return (0); }