From a925690bb54fbfb30933f7090f646ce05b9d2c80 Mon Sep 17 00:00:00 2001
From: xXx-caillou-xXx
Date: Thu, 19 Jul 2018 14:57:21 +0200
Subject: Fix the issue with rand hardening

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

(limited to 'src/tests')

diff --git a/src/tests/harden_mt_rand_range.phpt b/src/tests/harden_mt_rand_range.phpt
new file mode 100644
index 0000000..0d5a5bf
--- /dev/null
+++ b/src/tests/harden_mt_rand_range.phpt
@@ -0,0 +1,16 @@
+--TEST--
+Harden mt_rand range
+--SKIPIF--
+<?php if (!extension_loaded("snuffleupagus")) print "skip"; ?>
+--INI--
+sp.configuration_file={PWD}/config/harden_rand.ini
+--FILE--
+<?php 
+for ($i=0; $i <=100; $i++) {
+  if (mt_rand(0,1) > 1) {
+    echo "Failed\n";
+  }
+}
+
+?>
+--EXPECT--
-- 
cgit v1.3