Hello, Yu Qiang on 2015-03-22: >klee -search=nurs:md2u -allow-external-sym-calls -libc=uclibc >-posix-runtime a.out.bc -sym-argvs 1 2 2 I believe this should be `-sym-args` or `--sym-args`, not `-sym-argvs`. You can use `--help` for a list. -------------- next part -------------- HTML attachment scrubbed and removed