At the moment, the DOT representation is generated using the edges of the CFG. It collects the nodes
from the edges and then print out the DOT graph.
As a result when the CFG has only one node and no edges, the DOT representation is empty.
To do
In the new version of the CFG computation (see #32) , we get a proper automaton (states and transitions) and the DOT representation is correct. So This issue will be resolved when #32 is pushed.
At the moment, the DOT representation is generated using the edges of the CFG. It collects the nodes from the edges and then print out the DOT graph.
As a result when the CFG has only one node and no edges, the DOT representation is empty.
To do
In the new version of the CFG computation (see #32) , we get a proper automaton (states and transitions) and the DOT representation is correct. So This issue will be resolved when #32 is pushed.