``` This issue was created by revision r105. Add some logic for switching ToDot generation on/off. System command, console argument or something similar. ``` Original issue reported on code.google.com by `galpe...@inf.u-szeged.hu` on 21 Jun 2011 at 3:40