diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-19 16:48:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-07-19 16:48:16 +0100 |
| commit | d7c2deaa9c3762a3735029d408ede82d5c046433 (patch) | |
| tree | 7ffe6cdd8f30354dcd04fb7b378a1cedd1a55a2f /scripts/klee-control | |
| parent | cc1a60141d01cf13a222db05e18f29f9bda40921 (diff) | |
| download | klee-d7c2deaa9c3762a3735029d408ede82d5c046433.tar.gz | |
Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also removes commented out code from that function.
Diffstat (limited to 'scripts/klee-control')
0 files changed, 0 insertions, 0 deletions