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.)
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
