[klee-dev] Visualize Symbolic Tree

Cristian Cadar c.cadar at imperial.ac.uk
Tue Nov 3 16:19:02 GMT 2015


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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>



More information about the klee-dev mailing list