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 [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
