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