e-acsl-gcc.sh(1) on Linux
The text 1d58d439e017, as Debian 11 (Bullseye) shipped it.
instrument and compile C files with E-ACSL
Flags it lists
-
--check -
--compile -
--compile-only -
--cpp-flags -
--debug -
--e-acsl-extra -
--e-acsl-share -
--external-assert -
--extra-cpp-args -
--fail-with-code -
--frama-c -
--frama-c-extra -
--frama-c-only -
--frama-c-stdlib -
--free-valid-address -
--full-mtracking -
--gcc -
--gmp -
--heap-size -
--help -
--instrumented-only -
--keep-going -
--ld-flags -
--libc-replacements -
--logfile -
--memory-model -
--no-trace -
--ocode -
--oexec -
--oexec-e-acsl -
--print-mmodels -
--quiet -
--rt-debug -
--rt-verbose -
--rte -
--rte-select -
--stack-size -
--temporal -
--then -
--validate-format-strings -
--verbose -
--weak-validity -
-A -
-C -
-D -
-E -
-F -
-G -
-I -
-L -
-M -
-O -
-V -
-X -
-a -
-c -
-d -
-e -
-f -
-g -
-h -
-k -
-l -
-m -
-o -
-q -
-s -
-v