User guide

20-74
Using OpenVera Assertions
$ova_assertion_start("fullHierName")
Starts the monitoring of the specified assetion (string).
Controlling the Response To an Assertion Failure
You can specify a response to an assertion failure, based upon its
severity or category, using the $ova_severity_action or
$ova_category_action system tasks. The syntax for these two tasks
is as follows:
$ova_severity_action(severity, action);
or
$ova_category_action
(category, action);
Note the following syntax elements:
severity
Severity to be associated with the action.
category
Category associated with the action.
action
Can be specified as "continue", "stop" or "finish". The
action, which must be quoted as shown, is associated globally
with the specified severity level, for all modules and instances.
The default is "continue". The actions are specified as follows:
- "stop" — Stops the simulation with $stop semantics. All OVA
attempts are also suspended and can be resumed.
- "finish" — Terminates the simulation with $finish semantics.