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