diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-08-08 22:01:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-08 22:01:00 +0200 |
| commit | 74d88a5e0d6020fc262c166e42b8acdc335b4999 (patch) | |
| tree | f6bbef19c49dc0c5b7484fcc563b4a21f2185234 /lib/Solver/QueryLoggingSolver.h | |
| parent | df62e30a8883f3c146700f3666442c7ada42ba3c (diff) | |
| parent | ad866e123b6be8a160ecb87249884cc3dfc3a349 (diff) | |
| download | klee-74d88a5e0d6020fc262c166e42b8acdc335b4999.tar.gz | |
Merge pull request #447 from hutoTUM/fix-klee_get_obj_size
Fix for klee_get_obj_size() crashing on 64-bit, resolves #446
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
0 files changed, 0 insertions, 0 deletions