Live Viewer
5
seconds...
Current Step
Name:
Id:
Model:
Data:
Statistics
General
Status:
None
Models
Number of Models:
None
Completed Models:
None
Failed Models:
None
Incomplete Models:
None
Not Executed Models:
None
Edges
Edge Coverage:
None
Number of Edges:
None
Visited Edges:
None
Unvisited Edges:
None
Vertices
Vertex Coverage:
None
Number of Vertices:
None
Visited Vertices:
None
Unvisited Vertices:
None
Output
Autoscroll
Error
Message:
Trace:
Setup
Websocket Setup
Connection Error:
Could not connect to port: 9999.
Make sure the websocket server is running on the selected port.
Connection Error:
Could not connect to port: 9999.
Make sure the websocket server is running on the selected port.
Port:
Please input the port used by the websocket server.
Autoplay
Loading...
Start
Settings
Model-Visualizer Settings
Graph Direction:
Top-Bottom
Bottom-Top
Left-Right
Right-Left
Vertex Separation:
Please input the port used by the websocket server.
Edge Separation:
Please input the port used by the websocket server.
Rank Separation:
Please input the port used by the websocket server.
Save
Close