diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2018-09-02 13:25:06 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-10-26 22:41:04 +0100 |
| commit | f326c6aab9ac1b38016076a1d0ff5b55e0813b87 (patch) | |
| tree | 36958c61166098ff7053e619ea06c8d044d52e12 /examples/sort | |
| parent | 3e5e8f7d2c8004b4c452f3b74c9ba4dea78d9d80 (diff) | |
| download | klee-f326c6aab9ac1b38016076a1d0ff5b55e0813b87.tar.gz | |
llvm7: adapt to new openFileForWrite
In llvm commit 03bcb2143b5c, OpenFlags were split and openFileForWrite accepts one more parameter. Fortunately, openFileForWrite now defaults to F_None, so we remove the parameter completely from llvm 3.7 and later. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'examples/sort')
0 files changed, 0 insertions, 0 deletions