[klee-dev] Reusing results of symbolic analysis

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev