e.get().dump() should normally do the trick assuming e is of type ref<Expr>. If e is just an expr, then dump() I think is what does it. On Apr 28, 2015 6:19 PM, "Anitha B Gollamudi" <[email protected]> wrote:
> Hi, > > Is there some tip on how to print the entire expression when using > gdb? For instance I would like to see the entire expression 'e' (all > its children and grandchildren...). As of now I am (painfully) - > casting the expression and getting left/right child - recursively. > > Thanks > > > -- > Anitha > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
