From 6487590b4fd55dddd59b43f1fcf2ebd8d56f20ac Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Wed, 20 Sep 2017 10:51:22 +0200
Subject: Add travis

---
 src/tests/disabled_option.phpt | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

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

diff --git a/src/tests/disabled_option.phpt b/src/tests/disabled_option.phpt
index 8bc7e39..70e1382 100644
--- a/src/tests/disabled_option.phpt
+++ b/src/tests/disabled_option.phpt
@@ -7,10 +7,16 @@ sp.configuration_file={PWD}/config/config_rand_harden_disabled.ini
 --FILE--
 <?php 
 srand(0);
-echo rand(0,100)."\n";
+$a =  rand(0,100)."\n";
 srand(0);
-echo rand(0,100)."\n";
+$b = rand(0,100)."\n";
+srand(0);
+$c = rand(0,100)."\n";
+if ($a == $b && $a == $c) {
+    echo "win";
+} else {
+    echo "lose";
+}
 ?>
 --EXPECT--
-84
-84
+win
-- 
cgit v1.3