diff options
| author | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-03-06 09:37:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-06 09:37:21 +0000 |
| commit | e608c7a77733662e7b3e71b1e929899c718ce06c (patch) | |
| tree | 7d7daa2c10da8ec9650a75ed525f1136e899d303 /.travis | |
| parent | d2490908daee27974f8a03c8c7c80930d39f6098 (diff) | |
| parent | d2aa830f8334464a1087e6dd6f093cf81aba0a55 (diff) | |
| download | klee-e608c7a77733662e7b3e71b1e929899c718ce06c.tar.gz | |
Merge pull request #611 from jirislaby/getDirectCallTarget
Core: explicitly create CallSite from Instruction
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions