User guide

20-22
Using OpenVera Assertions
-ova_report [filename]
Generates a report file in addition to printing results on your
screen. Specifying the full path name of the report file overrides
the default report name and location, which is ./simv.vdb/report/
ova.report.
-ova_verbose
Adds more information to the end of the report including assertions
that never triggered and attempts that did not finish, and a
summary with the number of assertions present, attempted, and
failed.
A set of runtime options are also available for controlling how VCS
writes its report on OpenVera Assertions. You can use these options
only if you compiled with the -ova_enable_diag compile-time
option.
-ova_filter
Blocks reporting of trivial if-then successes. These happen when
an if-then construct registers a success only because the if portion
is false (and so the then portion is not checked). With this option,
reporting only shows successes in which the whole expression
matched.
-ova_max_fail N
Limits the number of failures for each assertion to N. When the
limit is reached, the assertion is disabled. N must be supplied,
otherwise no limit is set.
-ova_max_success N
Limits the total number of reported successes to N. N must be
supplied, otherwise no limit is set. The monitoring of assertions
continues, even after the limit is reached.