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