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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
