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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
