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

[Cristian Cadar]

Hi Pushi, to do this, you will need to modify the code in runtime/POSIX.

Best,
Cristian

On 16/11/2020 12:34, Pushi Zhang wrote:
> 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
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>