On 28 April 2015 at 21:06, Eric Rizzi <[email protected]> wrote: > 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.
Awesome. e->dump() works. Thanks Eric! > > 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 -- Anitha _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
