diff options
| author | George Ordish <george.ordish17@imperial.ac.uk> | 2019-08-05 11:48:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-08 10:45:58 +0100 |
| commit | f9aa2a3534ac47e07cd1f8b21bafb784b7a0c6c6 (patch) | |
| tree | 185054f7d51358877555420729d2a1539dd5a443 /test/Feature/MultipleWriteResolution.c | |
| parent | 04f5031ce572fa7488c9d97155207a3f5832e212 (diff) | |
| download | klee-f9aa2a3534ac47e07cd1f8b21bafb784b7a0c6c6.tar.gz | |
Read Klee's start time correctly in klee-stats
The last modification time of the run.stats database was being used as
the starting time of klee. This was causing Grafana to show graphs
incorrectly.
Instead we now read the start time from the info file.
Co-Authored-By: Kenny Macheka <knm17@ic.ac.uk>
Diffstat (limited to 'test/Feature/MultipleWriteResolution.c')
0 files changed, 0 insertions, 0 deletions