diff options
Diffstat (limited to 'src/tests/disabled_option.phpt')
| -rw-r--r-- | src/tests/disabled_option.phpt | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/tests/disabled_option.phpt b/src/tests/disabled_option.phpt deleted file mode 100644 index 70e1382..0000000 --- a/src/tests/disabled_option.phpt +++ /dev/null | |||
| @@ -1,22 +0,0 @@ | |||
| 1 | --TEST-- | ||
| 2 | Harden rand | ||
| 3 | --SKIPIF-- | ||
| 4 | <?php if (!extension_loaded("snuffleupagus")) print "skip"; ?> | ||
| 5 | --INI-- | ||
| 6 | sp.configuration_file={PWD}/config/config_rand_harden_disabled.ini | ||
| 7 | --FILE-- | ||
| 8 | <?php | ||
| 9 | srand(0); | ||
| 10 | $a = rand(0,100)."\n"; | ||
| 11 | srand(0); | ||
| 12 | $b = rand(0,100)."\n"; | ||
| 13 | srand(0); | ||
| 14 | $c = rand(0,100)."\n"; | ||
| 15 | if ($a == $b && $a == $c) { | ||
| 16 | echo "win"; | ||
| 17 | } else { | ||
| 18 | echo "lose"; | ||
| 19 | } | ||
| 20 | ?> | ||
| 21 | --EXPECT-- | ||
| 22 | win | ||
