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 -------------- next part -------------- HTML attachment scrubbed and removed