Loi Luu
2013-10-30 15:34:19 UTC
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,
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.)
Loi, Luu The (Mr.)