[klee-dev] Printing Expression during debugging

Anitha B Gollamudi anitha.boyapati at gmail.com
Wed Apr 29 00:18:17 BST 2015


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



More information about the klee-dev mailing list