diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-09-29 17:19:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-29 17:19:50 +0100 |
| commit | a936dcbaefe0efa67e97f4ea14893bdae63db99b (patch) | |
| tree | f23e7afb5be9ea58e0813c891915c2152d2c2ca6 /lib/Support/Time.cpp | |
| parent | b6eb108e22176d33d4dbaeed0e6603ea919345ad (diff) | |
| parent | 576babae91739be0824bb71ba6e224abd0878049 (diff) | |
| download | klee-a936dcbaefe0efa67e97f4ea14893bdae63db99b.tar.gz | |
Merge pull request #474 from jirislaby/timestamp
configure: add option to enable timestamping and disabled it by default
Diffstat (limited to 'lib/Support/Time.cpp')
0 files changed, 0 insertions, 0 deletions