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