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:
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.