Home
last modified time | relevance | path

Searched refs:gmp_random_seed (Results 1 – 5 of 5) sorted by relevance

/php-src/ext/gmp/tests/
H A Dgmp_random_seed.phpt2 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'));
[all …]
H A Dbug80560.phpt22 'gmp_random_seed',
/php-src/ext/gmp/
H A Dgmp_arginfo.h233 ZEND_FUNCTION(gmp_random_seed);
289 ZEND_FE(gmp_random_seed, arginfo_gmp_random_seed)
H A Dgmp.stub.php156 function gmp_random_seed(GMP|int|string $seed): void {} function
H A Dgmp.c1844 ZEND_FUNCTION(gmp_random_seed) in ZEND_FUNCTION() argument

Completed in 39 milliseconds