[klee-dev] Klee Process Tree

[Sang Phan]

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
-------------- next part --------------
HTML attachment scrubbed and removed