diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2017-05-23 18:15:59 +0100 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2017-05-24 09:29:33 +0100 |
| commit | 15858a67921ab4498f37b3b9290ecef9f97180e8 (patch) | |
| tree | 17b3e480d7351d2337d0a048729ed6888869c5ff /scripts | |
| parent | 92367dec2ee00cb708454e4c33ff34d80eddb878 (diff) | |
| download | klee-15858a67921ab4498f37b3b9290ecef9f97180e8.tar.gz | |
Remove redundant KLEE prefix while logging
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions