Feature #138

add visualization of model or susp aut that shows coverage of automaton

Added by Axel Belinfante about 11 years ago.

Status:NewStart date:19 Jun 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


show model coverage of current run, and/or (including) model coverage of previous runs.

could use color shades to indicate how often a transition or state has been traversed.

alternative: show traversed transitions in light grey, such that the non-covered transitions stand out
(i.e. show where we should still go)

(yes, this is only about syntactical coverage of automaton, but better than nothing)

Also available in: Atom PDF