klee.github.io
klee.github.io copied to clipboard
Documentation for `-sym-stdout`
There is detailed documentation for -sym-files and -sym-stdin. However, for -sym-stdout, it only says that it will make stdout symbolic. However, it's unclear to me of what the implication of making stdout symbolic is.
Thanks