[klee-dev] Printing Expression during debugging

[Anitha B Gollamudi]

On 28 April 2015 at 21:06, Eric Rizzi <eric.rizzi at gmail.com> 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" <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



-- 
 Anitha