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/Expr | |
| parent | a787fc2aee9ced9478bc2a1bdd5336f6aa38b8bb (diff) | |
| download | klee-c3c3332a039e8e9cc10f93c3acb71c4240d4cab8.tar.gz | |
Refactoring code to improve readability by using UINT32/64_C macros
Diffstat (limited to 'test/Expr')
0 files changed, 0 insertions, 0 deletions