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 <[email protected]> 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 >> [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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
