VeriLib

Home / Back

Function

Opaque Function

Lemma

Method

Predicate

Folder

Structure

Hold right-click to pan the chart.
Hold Opt/Start + mouse wheel to zoom in/out.

Legend

Specified Node (Top: Specified Status, Bottom: Status Color)

Link (Edge)

Controls

🖱️ Click a Node: Show details in the editor
🎯 Drag a Node: Move it within the graph
🖱️ Click + Drag: Pan the visualization