[klee-dev] Does Klee store variable identifiers?

[Loi Luu]

Hi,

I see that all symbolic variable names are stored in Symbolics vector of
each ExecutionState, but I wonder whether KLEE stores other variable
identifiers? If yes, where could I find them?

Best regards,
-- 
Loi, Luu The (Mr.)
-------------- next part --------------
HTML attachment scrubbed and removed