diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-08-08 10:50:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-08 10:50:15 +0100 |
| commit | df62e30a8883f3c146700f3666442c7ada42ba3c (patch) | |
| tree | cf4c691a92d377e770ed181dbdf003d0869a90de /lib | |
| parent | 171c119b48f67171b9cba1091bc58cb61edddd5b (diff) | |
| parent | 7ad4fda5499e6df3a7eb2eb0504a4f4944179b6d (diff) | |
| download | klee-df62e30a8883f3c146700f3666442c7ada42ba3c.tar.gz | |
Merge pull request #450 from andreamattavelli/fix_to_strerror
Fix to #449 by using sys::StrError(errno) to print error messages.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions