User guide

20-59
Using OpenVera Assertions
Case Checking
You can perform two types of case checking when using inlined OVA:
• Parallel — The actual case selection value must select exactly
one of the specified cases in the statement.
• Full — The actual case selection value must fall into the range
specified by the case items. A case containing the default item is
by definition full.
To control parallel case checking, use the parallel_case
statement:
//ova parallel_case on | off ;
When on is specified, all case statements until the end of the module
and the entire hierarchy underneath will be checked to ensure the
rules of “parallel case” execution, unless overridden by another
command or a local override pragma.
If the off argument is specified, parallel case checking is disabled
unless overridden by another command or a pragma associated with
a case statement.
When the pragma is not specified the default is off.
To control full case checking:
//ova full_case on | off ;
When on is specified, all case statements until the end of the module
and the entire hierarchy underneath will be checked to ensure the
rules of “full case” execution, unless overridden by another command
or a local override pragma.