Control Postcondition Checking

SAF_POSTCOND_DISABLE is a symbol defined in init.c.

Synopsis:

SAF_POSTCOND_DISABLE

Description: See SAF__ASSERT_DISABLE

See Also:

• Environment: Introduction for current chapter