diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-19 11:03:52 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-20 21:36:09 +0100 |
| commit | c05a0dc1d61187b3ac95c56b0d660731946218fd (patch) | |
| tree | a1e0f040c77851021224c62d45500a7f5e261236 /examples | |
| parent | a6a7b8c7dab4afccc22cc54bf9682713f60c6fcb (diff) | |
| download | klee-c05a0dc1d61187b3ac95c56b0d660731946218fd.tar.gz | |
Silence an uninitialized variable compiler warning (and a tiny formatting change)
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions