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@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
