Lines Matching refs:gmp_random_seed
2 gmp_random_seed() basic tests
10 var_dump(gmp_random_seed(0));
26 var_dump(gmp_random_seed(gmp_init(0)));
42 var_dump(gmp_random_seed(-100));
58 var_dump(gmp_random_seed(gmp_init(-100)));
74 var_dump(gmp_random_seed(100));
90 var_dump(gmp_random_seed(100));
109 var_dump(gmp_random_seed($seed * -1));
125 var_dump(gmp_random_seed($seed));
141 var_dump(gmp_random_seed('not a number'));
228 Warning: gmp_random_seed(): Unable to convert variable to GMP - string is not an integer in %s on l…
