klee.github.io icon indicating copy to clipboard operation
klee.github.io copied to clipboard

Documentation for `-sym-stdout`

Open yxliang01 opened this issue 6 years ago • 0 comments

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

yxliang01 avatar Apr 21 '18 18:04 yxliang01