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