[klee-dev] Save data in the same way of KTestObject

[Christie Christie]

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