Feature #73

show iocoChecker out(spec/impl after trace) set difference in results table?

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

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

100%

Category:-
Target version:1.3.0

Description

We already compute the set: out(impl after trace) - out(spec after trace) when we generate a guidance ``automaton'' from a reported difference; we could also add a column to the iocoChecker results table that directly contains those labels, for lazy end users who do not want to do this themselves.


Related issues

Related to JTorX - Feature #72: add a way to View (visualize) the difference reported by ... Closed 12 May 2009

History

#1 Updated by Axel Belinfante over 10 years ago

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

#2 Updated by Axel Belinfante over 10 years ago

  • Target version set to 1.3.0

Also available in: Atom PDF