diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-07-04 15:46:57 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-07-04 18:52:53 +0100 |
| commit | bebc77433b86a2e9a38847c3189d63ca84f90e99 (patch) | |
| tree | cd119f23e5577fbbb6b8abaf888273616f5c88e0 /include | |
| parent | 6ae1a8a7d100019a97b96ad9bd0dcba273c6f7e8 (diff) | |
| download | klee-bebc77433b86a2e9a38847c3189d63ca84f90e99.tar.gz | |
Fix regression reported by Michael Esser and Andrew Watson
(independently). In our recently switch to llvm::raw_ostream (and friends) (I think this is d934d983692c8952cdb887cbcd59f2df0001b9c0) we forgot to flush the llvm::raw_string_ostream to the underlying string used for error report files (e.g. test000001.overshift.err) so we would end up writing an empty string to error report files. Also added a test case to catch this.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions