diff options
| author | Sebastien Blot | 2017-09-20 10:11:01 +0200 |
|---|---|---|
| committer | Sebastien Blot | 2017-09-20 10:11:01 +0200 |
| commit | 868f96c759b6650d88ff9f4fbc5c048302134248 (patch) | |
| tree | c0de0af318bf77a8959164ef11aeeeb2b7bab294 /src/tests/disabled_option.phpt | |
Initial import
Diffstat (limited to 'src/tests/disabled_option.phpt')
| -rw-r--r-- | src/tests/disabled_option.phpt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/tests/disabled_option.phpt b/src/tests/disabled_option.phpt new file mode 100644 index 0000000..8bc7e39 --- /dev/null +++ b/src/tests/disabled_option.phpt | |||
| @@ -0,0 +1,16 @@ | |||
| 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 | echo rand(0,100)."\n"; | ||
| 11 | srand(0); | ||
| 12 | echo rand(0,100)."\n"; | ||
| 13 | ?> | ||
| 14 | --EXPECT-- | ||
| 15 | 84 | ||
| 16 | 84 | ||