subject:"\[klee\-dev\] Trunk won't compile"

[klee-dev] Trunk won't compile

2012-10-19 Thread Stephan Falke

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

Re: [klee-dev] Trunk won't compile

2012-10-19 Thread Cristian Cadar

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