From 868f96c759b6650d88ff9f4fbc5c048302134248 Mon Sep 17 00:00:00 2001
From: Sebastien Blot
Date: Wed, 20 Sep 2017 10:11:01 +0200
Subject: Initial import

---
 src/tests/disabled_option.phpt | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/tests/disabled_option.phpt

(limited to 'src/tests/disabled_option.phpt')

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 @@
+--TEST--
+Harden rand
+--SKIPIF--
+<?php if (!extension_loaded("snuffleupagus")) print "skip"; ?>
+--INI--
+sp.configuration_file={PWD}/config/config_rand_harden_disabled.ini
+--FILE--
+<?php 
+srand(0);
+echo rand(0,100)."\n";
+srand(0);
+echo rand(0,100)."\n";
+?>
+--EXPECT--
+84
+84
-- 
cgit v1.3