User guide

19-7
Viewing OpenVera Assertions
Figure 19-4 VirSim Display with Expanded Assertion Results
Figure 19-4 shows four assertions that have been expanded. The
vertical markers, mk_1 and mk_2, highlight typical display elements.
Marker mk_1 (at time tick 250) is at the beginning of an attempt on
each of the first three assertions. Assertion c_a_vector shows a
success that started and ended at 250. Assertion c_another_if shows
a failure that started and ended at 250. Assertion c_second_clka
shows an incomplete attempt that started at 250 and never ended.
Markers mk_2 and mk_1
Expanded assertions Data for one assertion attempt
(started at time 170 but never finished)