[klee-dev] Klee on coreutils : "paste", "mkdir", "md5sum"

[Frank Busse]

Hi,


On Thu, 11 Jun 2020 06:33:45 +0000
Anmol Jawa <anmol.jawa at hotmail.com> wrote:

> I tried using Klee, following the instructions given in the tutorial
> at https://klee.github.io/tutorials/testing-coreutils/ .
> 
> I tested echo, with : klee --libc=uclibc --posix-runtime ./echo.bc
> --sym-arg 3
> 
> But I failed testing “paste”, “md5sum”, “mkdir” following the same
> cmd paradigm as for echo . Are the commands to test the mentioned
> coreutils any different ? Can someone please mention what shall be
> the command to test the three coreutils .
> 
> Any help here would be highly appreciated .

You can find the list of arguments at the very end of:
https://klee.github.io/docs/coreutils-experiments/

Symbolic arguments are explained in:
https://klee.github.io/tutorials/using-symbolic/



Kind regards,

Frank