Hi, it is unclear how and where you installed KLEE. However, everything should work fine:
andreas-mbp:~$ git clone https://github.com/klee/klee.git && cd klee/examples/get_sign Cloning into 'klee'... remote: Counting objects: 10292, done. remote: Compressing objects: 100% (43/43), done. remote: Total 10292 (delta 15), reused 1 (delta 1), pack-reused 10248 Receiving objects: 100% (10292/10292), 4.65 MiB | 729.00 KiB/s, done. Resolving deltas: 100% (6718/6718), done. andreas-mbp:get_sign$ ls get_sign.c Anyways, you can find and download the examples from the git repository: https://github.com/klee/klee/tree/master/examples <https://github.com/klee/klee/tree/master/examples> Best, Andrea > On Mar 24, 2017, at 21:43, Shaikha Al-Khuder <cpe.sk...@gmail.com> wrote: > > > > Dear Sir/ Ma’am, > > I have successfully built Klee on my ubuntu machine, and I’m trying to to run > Klee on its examples: get_sign, … etc. but I can’t move the directory to > examples/get_sign. It says that the directory does not exists… > It’s been two days and I’m still stuck on the same error. Please assist. > > > Thank you for taking the time to read this, > Shaikhah B. Alkhadhr >> > > _______________________________________________ > klee-dev mailing list > klee-dev@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev