Hi Samaneh, I don't have any problems running your example. You need to
provide more information about your setup. The best thing would be to
do so by filling a bug report on github.
I assume you also fail tests in the regression suite?
Best,
Cristian
On 29/08/13 19:40, Samaneh Navabpour
Hi, most likely you have not compiled all libraries used by vim to LLVM
bitcode.
Best,
Cristian
On 16/01/13 01:31, 李永超 wrote:
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
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: