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

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

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

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