Skip to content

Fix state machine connectivity test

Hordur Freyr Yngvason requested to merge fix-connectivity-test into master

Uses a non-recursive DFS to test the state machine for connectivity. We do a single pass from the root. The graph is connected if and only if no nodes remain.

Closes #73 (closed)

Merge request reports