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