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 -------------- next part -------------- HTML attachment scrubbed and removed