[klee-dev] Running Coreutil with Klee

[Zaman, Tarannum]

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
-------------- next part --------------
HTML attachment scrubbed and removed