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 /lib/Core | |
| 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 'lib/Core')
0 files changed, 0 insertions, 0 deletions