[sv-ac] #805 friendly amendment

Hi All,

I corrected proposal of 805 in the following manner, this is a friendly
amendment correction below. Fixed proposal is posted on mantis. Manisha
please delete the earlier one if accepted. Ed sorry quick re-vote may
be.

Clause 28.43.2, Add the following:

cbAssertionSuccess. 

 when an An assertion attempt reaches a success state.

cbAssertionVacuousSuccess. when aAn assertion attempt reaches a vacuous
success state.

cbAssertionDisabledSuccess. when an An assertion attempt reaches a
disabled success state.

Details:

a) In a failing transition, there shall always be at least one element
in the expression array.

b) Placing a step callback results in the same callback function being
invoked for both success and failure

steps.

c) The content of the cb_time field depends on the reason identified by
the reason field, as follows:

- cbAssertionStart: cb_time is the time when the assertion attempt has
been started.

- cbAssertionSuccess, cbAssertionVacuousSuccess,
cbAssertionDisabledSuccess, cbAssertionFailure: cb_time is the time when
the assertion

succeeded or failed.

- cbAssertionStepSuccess, cbAssertionStepFailure: cb_time is the time
when the

assertion attempt step succeeded or failed.

 

Thx.
-Bassam.