diff options
author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-13 14:38:08 +0000 |
---|---|---|
committer | Dan Liew <delcypher@gmail.com> | 2017-02-14 13:47:59 +0000 |
commit | c3c3332a039e8e9cc10f93c3acb71c4240d4cab8 (patch) | |
tree | eb96442a54a5db97d138a8caf2b6c531357ad068 /test | |
parent | a787fc2aee9ced9478bc2a1bdd5336f6aa38b8bb (diff) | |
download | klee-c3c3332a039e8e9cc10f93c3acb71c4240d4cab8.tar.gz |
Refactoring code to improve readability by using UINT32/64_C macros
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions