Lines Matching refs:gmp_random_seed
2 gmp_random_seed() basic tests
12 var_dump(gmp_random_seed(0));
28 var_dump(gmp_random_seed(gmp_init(0)));
44 var_dump(gmp_random_seed(-100));
60 var_dump(gmp_random_seed(gmp_init(-100)));
76 var_dump(gmp_random_seed(100));
92 var_dump(gmp_random_seed(100));
111 var_dump(gmp_random_seed($seed * -1));
127 var_dump(gmp_random_seed($seed));
143 var_dump(gmp_random_seed('not a number'));
230 Warning: gmp_random_seed(): Unable to convert variable to GMP - string is not an integer in %s on l…