Lines Matching refs:gmp_random_seed
2 gmp_random_seed() basic tests
11 var_dump(gmp_random_seed(0));
23 var_dump(gmp_random_seed(gmp_init(0)));
35 var_dump(gmp_random_seed(-100));
47 var_dump(gmp_random_seed(gmp_init(-100)));
59 var_dump(gmp_random_seed(100));
71 var_dump(gmp_random_seed(100));
86 var_dump(gmp_random_seed($seed * -1));
98 var_dump(gmp_random_seed($seed));
111 var_dump(gmp_random_seed('not a number'));
176 gmp_random_seed(): Argument #1 ($seed) is not an integer string
