e-acsl-gcc.sh(1) on Linux
The text 8dc68d718cfc, as Debian 12 (Bookworm) shipped it. The page shows this text now.
instrument and compile C files with E-ACSL
Flags it lists
-
--ar -
--assert-print-data -
--check -
--compile -
--compile-only -
--concurrency -
--cpp-flags -
--debug -
--dlmalloc-compile-flags -
--dlmalloc-compile-only -
--dlmalloc-from-sources -
--e-acsl-extra -
--e-acsl-share -
--external-assert -
--external-print-value -
--extra-cpp-args -
--fail-with-code -
--frama-c -
--frama-c-extra -
--frama-c-only -
--frama-c-stdlib -
--free-valid-address -
--full-mtracking -
--gcc -
--gmp -
--help -
--instrumented-only -
--keep-going -
--ld-flags -
--libc-replacements -
--logfile -
--mbits -
--memory-model -
--no-assert-print-data -
--no-trace -
--ocode -
--odlmalloc -
--oexec -
--oexec-e-acsl -
--print-mmodels -
--quiet -
--ranlib -
--rt-debug -
--rt-verbose -
--rte -
--rte-select -
--temporal -
--then -
--validate-format-strings -
--verbose -
--weak-validity -
--with-dlmalloc -
--zone-sizes -
-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