From f4a8054384a0c6c57e7eb16674b20203f3e082a4 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 28 Apr 2021 11:05:13 +0200
Subject: [PATCH] [analysis-scripts] a few more fixes for creduce.sh
---
share/analysis-scripts/creduce.sh | 3 ++-
share/analysis-scripts/script_for_creduce_non_fatal.sh | 2 ++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/share/analysis-scripts/creduce.sh b/share/analysis-scripts/creduce.sh
index 71f45c0acdc..d35a3fc6f4f 100755
--- a/share/analysis-scripts/creduce.sh
+++ b/share/analysis-scripts/creduce.sh
@@ -43,7 +43,7 @@ This script creates a temporary directory named 'creducing'. It copies <file>
inside it, then runs creduce with 'frama-c <command line options>'
on the copied file, modifying it to make it smaller while still crashing.
-When done, you need to copy the reduced file and erase directoy 'creducing'.
+When done, you need to copy the reduced file and erase directory 'creducing'.
# Script options
@@ -286,3 +286,4 @@ set -e
"$CREDUCE" script_for_creduce.sh "$base"
echo "Finished reducing file: $dir_for_reduction/$base"
+echo "Remember to remove 'script_for_creduce.sh' after you are done."
diff --git a/share/analysis-scripts/script_for_creduce_non_fatal.sh b/share/analysis-scripts/script_for_creduce_non_fatal.sh
index fab66d214b2..d886aeaba29 100644
--- a/share/analysis-scripts/script_for_creduce_non_fatal.sh
+++ b/share/analysis-scripts/script_for_creduce_non_fatal.sh
@@ -28,8 +28,10 @@ set +o pipefail
##########
+set -o pipefail
"@FRAMAC@" "@BASE@" @FCFLAGS@ 2>&1 | tee $fc_out
fc_retcode=$(echo ${PIPESTATUS[0]})
+set +o pipefail
### Examples of conditions to be maintained by C-Reduce; copy and adapt
#
--
GitLab