From 53e3fda34cfe422ca515a1d66f7b41751038ddf0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 24 Oct 2012 17:33:30 -0700
Subject: [PATCH] fix run-tests.sh
---
run-tests.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/run-tests.sh b/run-tests.sh
index 1a5be5724..abaed603d 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 --noLuckyTests --timeout=10 --oneline "$f"`
+ res=`./leon --xlang --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 --noLuckyTests --timeout=10 --oneline "$f"`
+ res=`./leon --xlang --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 --noLuckyTests --timeout=10 --oneline "$f"`
+ res=`./leon --xlang --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
if [ "$res" = error ]; then
nbsuccess=$((nbsuccess + 1))
--
GitLab