On 2 September 2015 at 09:25, Giuseppe Petracca <petracca.giuseppe at gmail.com> wrote: > Hi, > I am currently encountering the following error while configuring KLEE > > http://stackoverflow.com/questions/32337845/klee-configuration-error?noredirect=1#comment52581865_32337845 I posted an answer of stack overflow