[klee-dev] KLEE: ERROR: unable to load symbol

[李永超]

Hi Everyone:    I have been trying to run vim trough klee and generate test cases. Having built vim with llvm, I run following command to run it with klee:    klee -libc=uclibc -posix-runtime ./vim.bc -sym-args 3 3 10 -sym-file3 1 20    Instead of test cases, what I got are error info:    KLEE: ERROR: unable to load symbol(applicationShellWidgetClass) while initializing globals.    A head of which are several undefined refference to funtion warnings.

    I hope there will be someone could help me out.    Cheeres, Thanks. 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed