diff options
| author | George Ordish <george.ordish17@imperial.ac.uk> | 2019-09-03 12:34:44 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 18:36:56 +0000 |
| commit | 2b9233c34e73e5191ae932500356fced35ee2ca1 (patch) | |
| tree | 265cc0dfc8deacb04c3e5cbfba08dc243511a552 /.gitattributes | |
| parent | 67018f6facc1134ada21a6ea4cd1044ed4b97dd3 (diff) | |
| download | klee-2b9233c34e73e5191ae932500356fced35ee2ca1.tar.gz | |
Add Dockerfile for preconfigured Grafana
This Dockerfile provides a Grafana server with a preconfigured dashboard and a datasource that will connect to klee-stats, as soon as klee-stats is run.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions