Hello, I want to use KLEE with symbolic file or stdin. According to the following document, I need to use -sym-files or -sym-stdin http://klee.github.io/docs/options/
However, these options no longer exist in the latest release of KLEE (docker). May I ask if they are broken, or are changed to something else? Thank you, Sang _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
