diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-30 17:12:30 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-06-04 11:55:50 +0200 |
| commit | 32892a0c836c6153808e2c821b86b5d36db51cbf (patch) | |
| tree | 6cd97b9b18a5e1ce874be126dcd134bf67ee5205 /tools/klee-replay | |
| parent | ade2bf89486ae2e44571fb547dbc96488fc3dab4 (diff) | |
| download | klee-32892a0c836c6153808e2c821b86b5d36db51cbf.tar.gz | |
Remove parenthesis around returns, as reported and discussed in #891
Diffstat (limited to 'tools/klee-replay')
0 files changed, 0 insertions, 0 deletions