No, but people have built various visualization tools over time, and I
would be happy to see a good one as part of the mainline.
Best,
Cristian
On 29/10/15 09:15, Wajih ul hassan wrote:
Hi all,
Is there a way in a klee to generate symbolic tree as a dot graph for
visualization.
Thanks
Wajih
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
