diff options
| author | Sean Bartell <yotann@yotann.org> | 2015-04-28 20:21:10 -0500 |
|---|---|---|
| committer | Sean Bartell <yotann@yotann.org> | 2015-04-29 20:39:56 -0500 |
| commit | dff4069042e6f7b4bc7211b8e9ba3377ee01c33c (patch) | |
| tree | 7f5bbf264099b6a650bd92e6f25e79c2ed7e04a2 /test/Programs | |
| parent | 6118403fa4315388946babd25be38a9524a5e2c5 (diff) | |
| download | klee-dff4069042e6f7b4bc7211b8e9ba3377ee01c33c.tar.gz | |
Fix assertion failure in getDirectCallTarget
It failed when the function being called is a bitcasted alias.
Diffstat (limited to 'test/Programs')
0 files changed, 0 insertions, 0 deletions