From 9fbb9e2949f0f54bc16b903a3b97303749ac3ce9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 2 Jul 2020 16:56:05 +0200
Subject: [PATCH] [Analysis-scripts] add creduce command to frama-c-script
---
bin/frama-c-script | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/bin/frama-c-script b/bin/frama-c-script
index 022f9b14096..a85fadf00fe 100755
--- a/bin/frama-c-script
+++ b/bin/frama-c-script
@@ -37,6 +37,11 @@ usage() {
echo " and non-POSIX external libraries."
echo " (run 'frama-c -machdep help' to get the list of machdeps)."
echo ""
+ echo " - creduce <args>"
+ echo " Use the external tool C-Reduce to minimize C files when"
+ echo " debugging crashes and fatal errors. Run without arguments for"
+ echo " more details."
+ echo ""
echo " - estimate-difficulty file..."
echo " Applies several heuristics to try and estimate the difficulty"
echo " of analyzing the specified files with Frama-C."
@@ -259,6 +264,10 @@ case "$command" in
shift;
"${FRAMAC_SHARE}"/analysis-scripts/normalize_jcdb.py "$@";
;;
+ "creduce")
+ shift;
+ ${FRAMAC_SHARE}/analysis-scripts/creduce.sh "$@";
+ ;;
*)
echo "error: unrecognized command: $command";
exit 1
--
GitLab