diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-06-12 12:15:28 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-04 22:14:58 +0100 |
| commit | 7e539abde7f8149287d8232500b622070bb241b9 (patch) | |
| tree | 6380fbea4d8a998ee740d4a09766d78c112f23a5 /lib/Basic | |
| parent | a038e4b651434dc57ef355625e7bf7364ded0b5d (diff) | |
| download | klee-7e539abde7f8149287d8232500b622070bb241b9.tar.gz | |
Fix uninitialized memory: enums have to be initialized
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions