guided run 'Expected obs' window does not show all expected outputs, but only those from test purpose?
|Status:||Closed||Start date:||07 Apr 2009|
... even though suspension automaton has both outputs
#1 Updated by Axel Belinfante over 11 years ago
we do not show observations that lead to miss, because we want to make sure
that we attempt to apply a stimulus when all observations lead to miss.
However, when we do have observations that do not lead to miss,
and this show observations anyway,
it makes sense to show all observations.
Moreover, when we get an observation that is not expected (i.e. have obtained a fail verdict)
we probably want to see all expected observations, with an indication of
whether they were expected by test purpose, by model, or both.