7.1 KAP Assertions

Table 7-1 lists KAP assertions and their duration.

Table 7-1 KAP Assertions

Assertion	Duration
C$ assert [no]argument aliasing	until reset
C$ assert [no]bounds violations	until reset
C$ assert do (concurrent)	next loop
C$ assert do (concurrent call)	next loop
C$ assert do (serial)	see text
C$ assert do prefer (concurrent)	next loop
C$ assert do prefer (serial)	next loop
C$ assert [no]equivalence hazard	until reset
C$ assert [no]last value needed	until reset
C$ assert permutation ( <name> )	next loop
C$ assert no recurrence ( <name> )	next loop
C$ assert relation (<name>.xx.<variable/constant>)	next loop
C$ assert no sync	next loop
C$ assert [no] temporaries for constant arguments	until reset

For the assertions listed with (name ), (name .xx. variable ), and (name .xx. constant ), the following example illustrates the format of the information required:

C*$* assert permutation (ip)
C*$* assert relation (n .gt. m)
C*$* assert relation (n .gt. 0)

Previous Page | Next Page | Contents | Index |
Command-Line Qualifiers