Bug #59

guided run 'Expected obs' window does not show all expected outputs, but only those from test purpose?

Added by Axel Belinfante over 11 years ago. Updated over 11 years ago.

Status:ClosedStart date:07 Apr 2009
Priority:NormalDue date:
Assignee:-% Done:

100%

Category:-
Target version:0.9999

Description

... even though suspension automaton has both outputs

model heen-en-weer/spec-with-eat-complete-end-eat.graphml
impl heen-en-weer/spec-with-eat-complete.graphml
test purpose:

History

#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.

#2 Updated by Axel Belinfante over 11 years ago

  • Status changed from New to Resolved

this has been taken care of in version 0.9999: there for the outputs we show with each output the associated verdict, not only in the guided case, but also for the non-guided case.

#3 Updated by Axel Belinfante over 11 years ago

  • Status changed from Resolved to Closed

#4 Updated by Axel Belinfante over 11 years ago

  • Target version set to 0.9999
  • % Done changed from 0 to 100

Also available in: Atom PDF