The C*$* assertions
directive tells KAP to accept
assertions. The C*$* no assertions
directive tells KAP
to ignore assertions. The C*$* no assertions
directive
disables assertions until the next C*$* assertions
directive, or the end of the program unit.
Individual assertions are explained in Chapter 7.
Copyright © Digital Equipment Corporation. 1999. All Rights Reserved.