Hi,
KLEE trunk currently doesn't compile:
In file included from STPBuilder.cpp:10:
STPBuilder.h:14:37: error: klee/util/ArrayExprHash.h: No such file or
directory
Looks like that file was not added in the last patch.
Cheers,
Stephan
___
klee-dev
Hi Stephan,
Sorry, I forgot to add that file when I committed the last patch. It's
solved now.
Cristian
On 19/10/2012 08:26, Stephan Falke wrote:
Hi,
KLEE trunk currently doesn't compile:
In file included from STPBuilder.cpp:10:
STPBuilder.h:14:37: error: klee/util/ArrayExprHash.h: No