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.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
