diff options
| author | Sean Bartell <yotann@yotann.org> | 2016-02-20 11:45:10 -0600 |
|---|---|---|
| committer | Sean Bartell <yotann@yotann.org> | 2016-02-20 11:56:57 -0600 |
| commit | 6b60b63c42c65796fc301ab0c3219c895e0f05fb (patch) | |
| tree | 2714915d54850c50df21ea16e2bb7aa568d84c42 /README.md | |
| parent | 8409a27a57a6fd4aad8828b0912c3afd39efb7e0 (diff) | |
| download | klee-6b60b63c42c65796fc301ab0c3219c895e0f05fb.tar.gz | |
Fix valueIsOnlyCalled() used by MD2U.
CallInst::getOperand() uses incompatible operand orders across LLVM versions. Use CallSite::hasArgument() instead. This bug prevented the MD2U searcher from working correctly.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions