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