Re: [klee-dev] Error in configuring KLEE with Ubuntu 12.04 LTS 64-bit

2015-09-04 Thread Dan Liew
On 2 September 2015 at 09:25, Giuseppe Petracca 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

[klee-dev] Error in configuring KLEE with Ubuntu 12.04 LTS 64-bit

2015-09-02 Thread Giuseppe Petracca
Hi, I am currently encountering the following error while configuring KLEE http://stackoverflow.com/questions/32337845/klee-configuration-error?noredirect=1#comment52581865_32337845 Thanks in advance Giuseppe ___ klee-dev mailing list