From 9a1a01a3ce328ac16ddbd979e72f72033f29ccee Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 5 Feb 2016 15:46:10 +0100
Subject: [PATCH] [testrun] additional debugging messages
---
src/plugins/e-acsl/scripts/testrun.sh | 17 ++++++++++++-----
1 file changed, 12 insertions(+), 5 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index e8936e479b3..640470d2912 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -57,12 +57,16 @@ LOG="$RESDIR/$TEST.testrun" # Base name for log files
OUT="$RESDIR/gen_$TEST" # Base name for output
RUNS=1
+debug() {
+ if [ -n "$DEBUG" ]; then
+ echo "$1" 1>&2
+ fi
+}
+
# Error reporting
error() {
echo "Error: $1" 1>&2
- if [ -n "$DEBUG" ]; then
- echo "See $2 for details" 1>&2
- fi
+ debug "See $2 for details"
exit 1
}
@@ -91,11 +95,14 @@ run_test() {
--compile $TESTFILE --ocode=$ocode --logfile=$logfile
--memory-model=$MODEL --oexec=$oexec $extra"
+ debug "Run $EACSL_GCC"
$EACSL_GCC || error "Command $EACSL_GCC failed" "$logfile"
# Log outputs of the generated executables
- $oexec 2>&1 > $oexeclog.native
- $oexec.e-acsl 2>&1 > $oexeclog.e-acsl
+ debug "Run and log native execution to $oexeclog.native"
+ $oexec 2>&1 > $oexeclog.native
+ debug "Run and log E-ACSL execution to $oexeclog.e-acsl"
+ $oexec.e-acsl 2>&1 > $oexeclog.e-acsl
## Make sure that instrumented and uninstrumented programs have same outputs
diff $oexeclog.native $oexeclog.e-acsl ||
--
GitLab