Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
coverage_graph [2020/04/26 03:33] 127.0.0.1 external edit |
— (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. | ||
| - | |||