On 11 September 2017 at 17:11, Mahinder.Shrivas wrote:
> 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
> past
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
Thanks. I think, it worked.
With kind regards,
Mahinder.
On Mon, Sep 4, 2017 at 9:14 PM, Dan Liew wrote:
> On 4 September 2017 at 11:20, Mahinder.Shrivas
> wrote:
> > Hi All,
> >
> > This is regarding KLEE code. I am trying to clone KLEE code through
> docker
> > by running this command (docke
