Hi, Please help: How can I convert a non-symbolic variable (i.e the variable is not declared symbolic in the input program) to symbolic in KLEE. -- Thanks and Regards Sumit -------------- next part -------------- HTML attachment scrubbed and removed