[klee-dev] Reusing results of symbolic analysis

[Andreas Wilhelm]

Hi Cristian,

thank you very much! I successfully used the implementation behind klee_get_value to get the concrete values.

Best regards,
Andreas

On Feb 17, 2013, at 3:15 PM, Cristian Cadar <c.cadar at imperial.ac.uk> wrote:

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