Feature #72

add a way to View (visualize) the difference reported by iocoChecker

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

Status:ClosedStart date:12 May 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:1.3.0


for example by displaying the automaton of both spec and impl, and (using a Primer (determinized LTS)) stepping through the elements in the trace in both these visualizations, such that the states reached by the trace are highlighted, and then in the impl visualization highlighting those outputs that are not present in the spec.

Related issues

Related to JTorX - Feature #73: show iocoChecker out(spec/impl after trace) set differenc... Closed 12 May 2009


#1 Updated by Axel Belinfante over 10 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

more or less implemented in a2680e33b26e418fe651ae41ddc373d075769873
(via two buttons, one to simulate trace in model, and one to simulate trace in implementation)

#2 Updated by Axel Belinfante over 10 years ago

  • Target version set to 1.3.0

Also available in: Atom PDF