Hi. I was wondering if it is possible to store a variable in the same way
in which KLEE stores test cases in KTestObject. Basically, I'm asking if it
is possible to build a function like "KTestObject var_to_ktestobj(void*
var);", where examples of its usage could be "var_to_ktestobj(2)",
"var_to_ktestobj("hello")" and so on. Thank you.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
