[klee-dev] Issue regarding pasting code in klee directory

[Mahinder.Shrivas]

Hi,

 I am facing bit problem, I am not able to paste the code  for maze example
(i.e. maze.c in Tutorial 3) in klee directory. I am trying to paste it in
example folder and then trying to run it through docker. I have manually
pasted maze.c in “/home/klee/klee_src/examples/maze” in my local system but
when I am trying to see it from the terminal. I am not getting any file
inside it. Can anyone please help. Thanks in advance.

With kind regards,
Mahinder.
-------------- next part --------------
HTML attachment scrubbed and removed