[klee-dev] How to make assumption on symbolic stdin in klee

[Pushi Zhang]

Hi all,

      As in the documentation of klee, we can use command "-sym-stdin" to
make inputs symbolic.

      Here my question is: how can we make assumptions to the symbolic
stdin, like in klee_assume?

Best,
Pushi
-------------- next part --------------
HTML attachment scrubbed and removed