Extra Double Quotes in graphViz file generated
kinnzo opened this issue · comments
The dot file so generated by the functions ndfa2graphviz, dfa2graphviz, ndfa2graphvizfile and dfa2graphvizfile has extra double quotes in initial state, final state and state labels. This dot file thus cannot be directly processed by graphViz using gvedit. We have to manually edit and remove the extra quotes which may be tedious for big programs. A fix is required for this issue either by using some extra code that removes the bugs or changing the functions which generate the files.
I have used some extra code for now to fix it and also made a pull request which solves this issue. Please verify and update the library. It's really helpful!