The
Checks View presents all the
immediate, concurrent, deferred immediate assert and assume constructs in the project.
Open the view from menu
Window > Show View > Other... > DVT > Checks
Double click on a check and jump to the source location.
1.
Quick Search. You can use
CamelCase,
Simple Regex or
Hierarchical Search to locate a specific element. By default, hierarchical search will show all descendants:
2.
Check Kind Filters. You may choose to hide immediate, concurrent assertions or assumptions - see the image below:
|