From 72e84a7137d7c9538a586d0c23a6274143bb1e92 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 24 Oct 2012 17:03:20 +0200
Subject: [PATCH] Make sure it is wrapped
---
run-tests.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/run-tests.sh b/run-tests.sh
index e39418fb3..1a5be5724 100755
--- a/run-tests.sh
+++ b/run-tests.sh
@@ -8,7 +8,7 @@ for f in testcases/regression/valid/*.scala; do
echo -n "Running $f, expecting VALID, got: "
res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
- if [ $res = valid ]; then
+ if [ "$res" = valid ]; then
nbsuccess=$((nbsuccess + 1))
else
failedtests="$failedtests $f"
@@ -19,7 +19,7 @@ for f in testcases/regression/invalid/*.scala; do
echo -n "Running $f, expecting INVALID, got: "
res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
- if [ $res = invalid ]; then
+ if [ "$res" = invalid ]; then
nbsuccess=$((nbsuccess + 1))
else
failedtests="$failedtests $f"
@@ -30,7 +30,7 @@ for f in testcases/regression/error/*.scala; do
echo -n "Running $f, expecting ERROR, got: "
res=`./leon --noLuckyTests --timeout=10 --oneline "$f"`
echo $res | tr [a-z] [A-Z]
- if [ $res = error ]; then
+ if [ "$res" = error ]; then
nbsuccess=$((nbsuccess + 1))
else
failedtests="$failedtests $f"
--
GitLab