FEATURE: zone model checker must show state graph #63
Description
Zone model checker should produce state graph for small state graphs. Should be a warning before bringing up dot file with large state space.
{{ message }}
Zone model checker should produce state graph for small state graphs. Should be a warning before bringing up dot file with large state space.