Table 6-1 lists KAP assertions and their durations.
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)