Wang Shuai
2013-12-01 03:19:41 UTC
Hi everyone,
Could someone help me to sovle this error? When I was trying to replay
test cases on busybox, klee-repaly can't find the executable.
klee-replay "./busybox_unstripped echo" ../obj-klee/klee-out-8/*.ktest
Error: executable ./busybox_unstripped echo not found.
Could someone help me to sovle this error? When I was trying to replay
test cases on busybox, klee-repaly can't find the executable.
klee-replay "./busybox_unstripped echo" ../obj-klee/klee-out-8/*.ktest
Error: executable ./busybox_unstripped echo not found.