Hi guys, What version of GCC are you using when building? When compiling with GCC 4.2.4 I get the following compile error:
Expr.cpp: In destructor ?klee::Array::~Array()?: Expr.cpp:359: error: expected unqualified-id before string constant Expr.cpp:363: error: ?::vc_DeleteExpr? has not been declared The problem here is related to the extern "C" declaration inside the destructor. Thanks, Liviu
