diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-05-21 15:12:44 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 15:54:24 +0100 |
| commit | c6cfd6d722089b1560fefbd5f97177c8117aadbd (patch) | |
| tree | 55ecd12a25195c1c916985624f77deaa30aa72e5 /examples | |
| parent | a919c8649a26b85dba1eed147824e033333a408b (diff) | |
| download | klee-c6cfd6d722089b1560fefbd5f97177c8117aadbd.tar.gz | |
llvm6: SetVersionPrinter now passes down a stream
I.e. klee::printVersion should now have a parameter -- the output stream. Change both the prototype and the implementation to handle this properly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions