[klee-dev] Klee Process Tree

[Cristian Cadar]

Hi Sang,

The option for dumping and visualizing the process tree is not well 
tested, so it would be useful to report bugs on GitHub, or even better, 
contribute a fix, if you have one.

Best,
Cristian

On 24/05/2018 22:58, Sang Phan wrote:
> Hi everyone,
> 
> I'm trying to dump the process tree of Klee, but I get a segmentation fault.
> The reason is that the conditions are not added to the tree nodes, e.g. 
> when splitting.
> I wonder if this tree has ever worked before.
> 
> Also, the dumping is called only once in the ExecutionTimer, but this 
> class seems to be dead code.
> 
> Best,
> Sang
> 
> 
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>