[klee-dev] assertion errors: best way to resolve?

[Manizzle]

Hey guys. I have been trying to run some code via KLEE. However, upon
running it, I find this error:

klee: Value.cpp:317: void llvm::Value::replaceAllUsesWith(llvm::Value*):
Assertion `New->getType() == getType() && "replaceAllUses of value with
new value of different type!"' failed.
0  klee 0x08965ab8
+++ killed by SIGABRT +++
/home/manizzle/code/klee-cde-package/bin/klee.cde: line 3: 26778 Aborted
                $DN/../cde-exec
/home/pgbovine/klee/Release+Asserts/bin/klee "$@"


Any hints on where to go to try to solve this? Common error/solution?

Thanks.