Lines Matching refs:gmp_random
14 var_dump(gmp_strval(gmp_random()));
15 var_dump(gmp_strval(gmp_random(1)));
16 var_dump(gmp_strval(gmp_random(10)));
30 var_dump(gmp_strval(gmp_random()));
31 var_dump(gmp_strval(gmp_random(1)));
32 var_dump(gmp_strval(gmp_random(10)));
46 var_dump(gmp_strval(gmp_random()));
47 var_dump(gmp_strval(gmp_random(1)));
48 var_dump(gmp_strval(gmp_random(10)));
62 var_dump(gmp_strval(gmp_random()));
63 var_dump(gmp_strval(gmp_random(1)));
64 var_dump(gmp_strval(gmp_random(10)));
78 var_dump(gmp_strval(gmp_random()));
79 var_dump(gmp_strval(gmp_random(1)));
80 var_dump(gmp_strval(gmp_random(10)));
94 var_dump(gmp_strval(gmp_random()));
95 var_dump(gmp_strval(gmp_random(1)));
96 var_dump(gmp_strval(gmp_random(10)));
113 var_dump(gmp_strval(gmp_random()));
114 var_dump(gmp_strval(gmp_random(1)));
115 var_dump(gmp_strval(gmp_random(10)));
129 var_dump(gmp_strval(gmp_random()));
130 var_dump(gmp_strval(gmp_random(1)));
131 var_dump(gmp_strval(gmp_random(10)));
