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

[Anmol Jawa]

Hi,

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 .

Thanks in advance !
Anmol


Sent from Mail<https://go.microsoft.com/fwlink/?LinkId=550986> for Windows 10

-------------- next part --------------
HTML attachment scrubbed and removed