[klee-dev] How to get （or capture ） the value of replaying a test case and the usage of KLEE

[Cristian Cadar]

On 27/11/16 14:15, Andrew Santosa wrote:
> Perhaps scanf is a special case that doesn't work with symbolic stdin
> (in the similar way its complement printf needs concrete arguments).

This is actually a known bug, https://github.com/klee/klee/issues/30, 
which we should try to fix soon.

Best,
Cristian