The case explorer view
The case explorer allows to explorer the proof obligations of a class file.
Its presents:
- each method of the class,
- each case of a method: a case corresponds to a control flow in the source file,
- each goal of a case.
Each item of the tree can be filtered through a filter interface.
Cases into method can be displayed flatly or hierachically.
Flat cases
Hierachical cases