CHECK Output

CHECK output

Two panels will appear during the model checking:

1. Error tree viewer this groups the errors and warnings into categories and sub-categories. Intuitive navigation through the checks is possible via a tree system
2. Check model summary panel this gives a compact summary of the errors and warnings found in a table format, with a popup from each entity type