diff options
| author | knm17 <knm17@ic.ac.uk> | 2019-09-11 12:54:49 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 18:36:56 +0000 |
| commit | 17a08f63c157fae3ccd2065563664d4fa15c1fa2 (patch) | |
| tree | 53ea8c5122fa3de844e12ce7656be85a614e5328 /.cirrus.yml | |
| parent | 83c6487e68824453d961da874381231c58149f5e (diff) | |
| download | klee-17a08f63c157fae3ccd2065563664d4fa15c1fa2.tar.gz | |
Extended the grafana dashboard.
Added units for some of the data and modified klee-stats source code to provide solver time as a fraction of walltime along with fork, resolve and cexcache time.
Diffstat (limited to '.cirrus.yml')
0 files changed, 0 insertions, 0 deletions