Hi,
On Thu, 11 Jun 2020 06:33:45 +0000 Anmol Jawa <[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
