Bug #84

find a way to deal with input-output non-determinism

Added by Axel Belinfante about 11 years ago.

Status:NewStart date:22 May 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


when we are in a state where we can both apply stimulus and make an observation, and the model does not have a buffer for the outputs, we have a problem, because in the model it looks like we disable the output observation by doing the input transition, but in the real program the output is given anyway - i.e. the model is wrong.
but can we somehow automatically add queue contexts for the model?

Related issues

Related to JTorX - Feature #23: allow tests to be input-enabled Closed 13 Jan 2009
Related to JTorX - Bug #122: allow adaptsim tests to be input enabled Closed 14 Jun 2009

Also available in: Atom PDF