6.1 KAP Assertions

Table 6-1 lists KAP assertions and their durations.

Table 6-1 KAP Assertions

Assertion	Duration
C$ assert [no]argument aliasing	until reset
C$ assert [no]bounds violations	until reset
C$ assert concurrent call	next loop
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]interchange	next loop
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 Switches