Lines Matching refs:gmp_random
12 var_dump(gmp_strval(gmp_random()));
13 var_dump(gmp_strval(gmp_random(1)));
14 var_dump(gmp_strval(gmp_random(10)));
28 var_dump(gmp_strval(gmp_random()));
29 var_dump(gmp_strval(gmp_random(1)));
30 var_dump(gmp_strval(gmp_random(10)));
44 var_dump(gmp_strval(gmp_random()));
45 var_dump(gmp_strval(gmp_random(1)));
46 var_dump(gmp_strval(gmp_random(10)));
60 var_dump(gmp_strval(gmp_random()));
61 var_dump(gmp_strval(gmp_random(1)));
62 var_dump(gmp_strval(gmp_random(10)));
76 var_dump(gmp_strval(gmp_random()));
77 var_dump(gmp_strval(gmp_random(1)));
78 var_dump(gmp_strval(gmp_random(10)));
92 var_dump(gmp_strval(gmp_random()));
93 var_dump(gmp_strval(gmp_random(1)));
94 var_dump(gmp_strval(gmp_random(10)));
111 var_dump(gmp_strval(gmp_random()));
112 var_dump(gmp_strval(gmp_random(1)));
113 var_dump(gmp_strval(gmp_random(10)));
127 var_dump(gmp_strval(gmp_random()));
128 var_dump(gmp_strval(gmp_random(1)));
129 var_dump(gmp_strval(gmp_random(10)));
