1.5 Runtime options

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.

all

Enable all run-time test of -fcheck.

none

Disable all run-time test of -fcheck.

nil

Check for nil while dereferencing.

bounds

Enable generation of run-time checks when indexing and trimming multiple values.