[prev in list] [next in list] [prev in thread] [next in thread]
List: klee-dev
Subject: Re: [klee-dev] Visualize Symbolic Tree
From: Cristian Cadar <c.cadar () imperial ! ac ! uk>
Date: 2015-11-03 16:19:02
Message-ID: 5638DE76.8070203 () imperial ! ac ! uk
[Download RAW message or body]
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@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic