All verification scripts have output contexts, special structures that can be used inside of the application. The scripts fill their members. The verification script output contexts have only one member:
out.Result: Result of the whole verification program defined in the verification script.
This member can have six values:
-
_VERIFICATION_PROGRESS: Set by default when a script starts running.
-
_VERIFICATION_PASSED
-
_VERIFICATION_PASSED_WARNING
-
_VERIFICATION_PASSED_WITH_NOTE
-
_VERIFICATION_NOT_APPLICABLE
-
_VERIFICATION_FAILED
The last five values should be set if you decide that a recorded trace does (or does not) satisfy the imposed verification conditions. In these cases, the verification script stops running.
If you do not specify any of those values, the result of script execution is set to VERIFICATION_FAILED at exit.
Note: If you do not care about the result of script running, call the function ScriptForDisplayOnly once before stopping the script. The result is DONE.