6.1 KAP Assertions

Table 6-1 lists KAP assertions and their duration:

Table 6-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