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

[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
-------------- next part --------------
HTML attachment scrubbed and removed