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 such file or > directory > > Looks like that file was not added in the last patch. > > Cheers, > Stephan > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev