[klee-dev] Printing Expression during debugging

[Eric Rizzi]

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" <anitha.boyapati at gmail.com>
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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed