diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-06 19:42:24 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-17 14:32:35 +0000 |
| commit | fe2f286b4d2406b1731e49e2653d0a3cd078ab41 (patch) | |
| tree | aa89c16178765b3bd4a81d5bf7a5835193fb5a84 /.github | |
| parent | 25fefb66f987b94a0c4c4593d81260660028b2d2 (diff) | |
| download | klee-fe2f286b4d2406b1731e49e2653d0a3cd078ab41.tar.gz | |
stat64 is deprecated on macOS; use stat instead
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions