Hi, In the tutorial of running coreutil with klee, There is an example of running echo with a symbolic argument of 3 characters with the following command:
klee --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3 If I want to run the mv program of coreutil with klee,with a symbolic argument what command should I use? Thanks Shaila
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
