These options affect the runtime behavior of programs compiled with
ga68.
-fno-assert ¶Turn off code generation for ASSERT contracts.
-fcheck=<keyword> ¶Enable the generation of run-time checks; the argument shall be a comma-delimited list of the following keywords. Prefixing a check with no- disables it if it was activated by a previous specification.
Enable all run-time test of -fcheck.
Disable all run-time test of -fcheck.
Check for nil while dereferencing.
Enable generation of run-time checks when indexing and trimming multiple values.