19-8
Viewing OpenVera Assertions
Assertion c_inc_pc_2_fetch, at marker mk_2, shows a display of
overlapping attempts. The first box for the assertion shows an attempt
that started at 10 and ended at 60. The second box shows an attempt
that started and ended at 40—after the first attempt started but before
it ended.
Assertion c_inc_pc_2_fetch also shows truncated start/end times
marked with asterisks. You can also see that this assertion was
evaluated with a different clock than the other three assertions.
Comments to this Manuals