From a659e439bc11af0521314b35889a02263a47a5ac Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 22 Mar 2016 14:41:05 +0100
Subject: [PATCH] [tests] do not execute the non-instrumented code
---
src/plugins/e-acsl/scripts/testrun.sh | 17 +++++------------
1 file changed, 5 insertions(+), 12 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index a24f4b5f27b..8f7bfcac01d 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -25,14 +25,13 @@
# Convenience script for running tests with E-ACSL. Given a source file the
# sequence is as follows:
# 1. Instrument and compile a given source file with `e-acsl-gcc.sh`
-# 2. Run executables generated from the instrumented and original sources
-# and compare their outputs
+# 2. Run executables generated from the instrumented source
+# and check that it does not fail
# Test failure is detected if:
# - `e-acsl-gcc.sh` fails (i.e., instrumentation- or compile-time failure)
# - A generated executable exists with a non-zero status
-# - Outputs produced by executables generated from the original and
-# instrumented sources differ
+# - The run of this executable stops with a non-zero exit status
# Arguments:
# $1 - base name of a test source file excluding its extension (e.g., addrOf)
@@ -109,8 +108,8 @@ run_executable() {
fi
}
-# Instrument the given test using e-acsl-gcc.sh and compare outputs of the
-# executables generated from instrumented and non-instrumented sources
+# Instrument the given test using e-acsl-gcc.sh and check that the generated
+# executable stops with a zero exit status
run_test() {
local ocode=$OUT.$RUNS.c # Generated source file
local logfile=$LOG.$RUNS.elog # Log file for e-acsl-gcc.sh output
@@ -128,14 +127,8 @@ run_test() {
$EACSL_GCC || error "Command $EACSL_GCC failed" "$logfile"
# Log outputs of the generated executables
- run_executable $oexec $oexeclog.native "Native"
run_executable $oexec.e-acsl $oexeclog.e-acsl "Instrumented"
- # Make sure that instrumented and uninstrumented programs have same outputs
- debug "Compare outputs of $oexec and $oexec.e-acsl"
- diff -ur -N $oexeclog.native $oexeclog.e-acsl > $oexeclog.diff 2>&1 || \
- error "Output of instrumented and original programs differ" $oexeclog.diff
-
RUNS=$((RUNS+1))
}
--
GitLab