From ef30f85bbb54851d4d3661f0aef4da785bf8eb36 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 7 Jun 2012 05:07:14 +0200
Subject: [PATCH] use noluckytest in run-test
---
run-tests.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/run-tests.sh b/run-tests.sh
index 951862c3e..e39418fb3 100755
--- a/run-tests.sh
+++ b/run-tests.sh
@@ -6,7 +6,7 @@ failedtests=""
for f in testcases/regression/valid/*.scala; do
echo -n "Running $f, expecting VALID, got: "
- res=`./leon --timeout=10 --oneline "$f"`
+ res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
if [ $res = valid ]; then
nbsuccess=$((nbsuccess + 1))
@@ -17,7 +17,7 @@ done
for f in testcases/regression/invalid/*.scala; do
echo -n "Running $f, expecting INVALID, got: "
- res=`./leon --timeout=10 --oneline "$f"`
+ res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
if [ $res = invalid ]; then
nbsuccess=$((nbsuccess + 1))
@@ -28,7 +28,7 @@ done
for f in testcases/regression/error/*.scala; do
echo -n "Running $f, expecting ERROR, got: "
- res=`./leon --timeout=10 --oneline "$f"`
+ res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
if [ $res = error ]; then
nbsuccess=$((nbsuccess + 1))
--
GitLab