diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-13 11:10:14 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-02-14 13:47:59 +0000 |
| commit | a787fc2aee9ced9478bc2a1bdd5336f6aa38b8bb (patch) | |
| tree | 9901b17613d2d22c3910740b957f54250b0a203e /test | |
| parent | 89e11e68ae336b6b4530c0e03b85519efa35a29d (diff) | |
| download | klee-a787fc2aee9ced9478bc2a1bdd5336f6aa38b8bb.tar.gz | |
Fixed assertion invocation: We were invoking bits64::truncateToNBits with a width greater than 64
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions