Checks View

The Checks View presents all the checks and assertions in your project, that is all "check that", "expect", "assert" and "assume" constructs.

Open the view from menu Window > Show View > Other... > e Language > Checks .

You can double click on a check and jump to the source location.

check that
assert
expect
assume

Checks View Presentation



  1. Number of Checks. The number of checks in the project.
  2. Quick Filter. You quickly locate a check by name or check expression.
  3. Checks Column. The Check "identifier": the name for named checks, or the first word in the dut_error message, and semicolon followed by the check expression (boolean or temporal).
  4. Comments Column. The Check comment (extracted from above or inline).
  5. Check Kind Filters. You may chose to hide assertions, assumes, temporal checks or procedural checks.
  6. Group by Scope. You may chose to see the checks grouped by scope, where scope is package::enclosing_struct.
  7. Expand/Collapse All. Relevant if grouped by scope.