Hi, Im trying to build KLEE on a OSX 10.6.8 using LLVM 2.8 but Im getting this error
Executor.cpp: In member function ?void klee::Executor::executeInstruction(klee::ExecutionState&, klee::KInstruction*)?: Executor.cpp:1525: error: request for member ?getCaseValue? in ?i?, which is of non-class type ?unsigned int? FYI, I have xcode installed which llvm-gcc4.2 comes along with it. I dont know if this is important or not but just in case. I would be thankful if someone can help me out. Thanks Sam -- Samaneh Navabpour Department of Electrical and Computer Engineering University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada, N2L 3G1 Tel: 519-888-456 Ext:37863 _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
