e-acsl-gcc.sh(1) on Linux
The text f4b1dcfea908, as Debian 10 (Buster) shipped it.
instrument and compile C files with E-ACSL
Flags it lists
-
--check -
--compile -
--compile-only -
--cpp-flags -
--debug -
--e-acsl-extra -
--extra-cpp-args -
--fail-with-code -
--frama-c -
--frama-c-extra -
--frama-c-only -
--frama-c-stdlib -
--free-valid-address -
--full-mmodel -
--gcc -
--gmp -
--heap-size -
--help -
--instrumented-only -
--keep-going -
--ld-flags -
--logfile -
--memory-model -
--ocode -
--oexec -
--oexec-e-acsl -
--print-models -
--quiet -
--rt-debug -
--rt-verbose -
--rte -
--rte-select -
--stack-size -
--temporal -
--then -
--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