Differences
This shows you the differences between two versions of the page.
| coverage_graph [2020/04/26 03:33] – external edit 127.0.0.1 | coverage_graph [2020/05/10 16:37] (current) – removed admin | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Coverage Graph ===== | ||
| - | //Coverage Graph// is a graphical representation of the execution coverage of the model. Below is an example of a //Coverage Graph//. | ||
| - | |||
| - | {{http:// | ||
| - | |||
| - | The transitions colored in //green// are fully covered, //yellow// are partially covered (covered at least once but not enough time as required) and //red// are not covered. | ||
| - | |||
| - | By default, the graph is laid out left to right making the graph scale horizontally. | ||
| - | |||
| - | //Coverage Graph// files are saved in the model folder. | ||
| - | |||