Hello, I have realized there is a -sym-stdout argument in KLEE. While the documentation says that it will make the stdout symbolic, I don’t see how it is useful. Would be great if there are some example use-cases for which -sym-stdout is useful.
Thanks! Xiao Liang YU
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
