GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Is it worth doing indentation in dot files ?
It causes performance issue :
for example, with examples/binary100000.spec settings and seed=4242,
it takes 14 seconds on my machine to generate and export the tree to non-indented dot file, vs. almost 3 minutes with indentation.
should use a faster way to generate the output ... and keep indentations ...
Oops, didn t saw that there is no kind of string buffering... So indentation will be ok !