DVT e Language IDE User Guide
Rev. 23.1.12, 23 May 2023
The Checks View presents all the check that, expect, 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 assertions, assumptions, checks or expects - see the image below: