diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-06-07 13:36:28 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-18 10:36:36 +0100 |
| commit | b2659ec04a9814718736ad960635a9a28edd6078 (patch) | |
| tree | 5b7b383549644760782be0d23b827968decd4694 /.dockerignore | |
| parent | bad4c5083b3e160abfaa84ede071c5e69d1f2709 (diff) | |
| download | klee-b2659ec04a9814718736ad960635a9a28edd6078.tar.gz | |
llvm4: use chrono helpers from LLVM
LLVM 4 removes the old time interface and starts using the C++11's chrono. So switch to that in klee for LLVM 4 too. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions