add visualization of model or susp aut that shows coverage of automaton
|Status:||New||Start date:||19 Jun 2009|
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)