Lines Matching refs:gmp_random_seed
2 gmp_random_seed() basic tests
10 var_dump(gmp_random_seed(0));
22 var_dump(gmp_random_seed(gmp_init(0)));
34 var_dump(gmp_random_seed(-100));
46 var_dump(gmp_random_seed(gmp_init(-100)));
58 var_dump(gmp_random_seed(100));
70 var_dump(gmp_random_seed(100));
85 var_dump(gmp_random_seed($seed * -1));
97 var_dump(gmp_random_seed($seed));
110 var_dump(gmp_random_seed('not a number'));
175 gmp_random_seed(): Argument #1 ($seed) is not an integer string
