Hi, I want to know if there is a way to know if a variable is symbolic or not in KLEE when KLEE is executing an instruction involving the variable.
-- Thanks and Regards, Sumit
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
