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
