diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-12-23 16:38:21 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-02-13 22:07:13 +0000 |
| commit | 950c823ddec56d59edb88e6ef81ba541aa5a34df (patch) | |
| tree | 2ad5c5bb1c8ad4add59e19bf63e96e9c234e8424 /runtime | |
| parent | 88e8a93bcf2cfd4bd2f7832205fa2998d3569358 (diff) | |
| download | klee-950c823ddec56d59edb88e6ef81ba541aa5a34df.tar.gz | |
Silenced two "control may reach end of non-void function [-Wreturn-type]" compiler warnings, one by adding an assert, and the other by refactoring the choose() function.
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions