From eea47565be65a5ef2eadd79839390ca35fa15fd0 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 20 Jun 2024 18:02:15 +0200
Subject: [PATCH] [dev] enable passing options to creduce script

---
 share/analysis-scripts/creduce.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/share/analysis-scripts/creduce.sh b/share/analysis-scripts/creduce.sh
index 1e506e8aab2..07203195b6c 100755
--- a/share/analysis-scripts/creduce.sh
+++ b/share/analysis-scripts/creduce.sh
@@ -70,6 +70,12 @@ Note: these options must be placed _before_ all other arguments.
   input), this script will copy a template to the current directory and you
   need to fill it so that creduce will work. This usage mode requires knowing
   how C-Reduce works.
+
+- If you want to pass options to the creduce/cvise executable itself, you need
+  to use environment variable CREDUCE_OPTIONS. For instance, if you want the
+  result to be \"obfuscated\" when using cvise, use option --renaming:
+
+  CREDUCE_OPTIONS=\"--renaming\" frama-c-script creduce <file> <Frama-C options>
 "
 
 #### Command-line and environment validation
@@ -292,7 +298,7 @@ if [ $? -ne 0 ]; then
 fi
 set -e
 
-"$CREDUCE" script_for_creduce.sh "$base"
+"$CREDUCE" $CREDUCE_OPTIONS 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."
-- 
GitLab