Sorry, I used the wrong nomenclature
It's not a call tree, rather it is the tree created when Klee invokes fork
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
