Hi Andreas, you can use the "klee_get_value" family of functions to
accomplish this. Look at test/Feature/GetValue.c for a small example.
Best,
Cristian
On 16/02/2013 17:22, Andreas Wilhelm wrote:
Hello,
to be more concise about my last question:
Is there a good way in klee to concretise symbolic variables, i.e. make
symbolic variables concrete?
Best regards,
Andreas
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
