Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
coverage_graph [2020/05/10 16:37] admin removed |
— (current) | ||
|---|---|---|---|
| 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. | ||
| - | |||