State Transitions
Load JSON file(s)
Load Example
Statistics
States
-
Transitions
-
Legend
Reset View
Center
Supported formats:
ITF format
(--out=itf)
Raw AST format
(--out=json)