[klee-dev] Testing Klee examples on ubuntu

[Andrea Mattavelli]

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.06 at 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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed