diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-31 10:40:45 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-03-31 22:01:15 +0100 |
| commit | bcaa958dcd645599382c3063ea87ad6e878210fc (patch) | |
| tree | 8dae6985072f9e48477aabdf9fc81e0c1c84d3f8 /utils | |
| parent | 928fd62aed9d1f2b6e7617de8ba0604b415f62ab (diff) | |
| download | klee-bcaa958dcd645599382c3063ea87ad6e878210fc.tar.gz | |
Fixed some messages, particularly Klee -> KLEE
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/grafana/datasource.yml | 2 | ||||
| -rw-r--r-- | utils/grafana/klee_dashboard.json | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/utils/grafana/datasource.yml b/utils/grafana/datasource.yml index e568c326..13a61406 100644 --- a/utils/grafana/datasource.yml +++ b/utils/grafana/datasource.yml @@ -3,7 +3,7 @@ apiVersion: 1 datasources: # <string, required> name of the datasource. Required -- name: Klee Stats +- name: KLEE Stats # <string, required> datasource type. Required type: grafana-simple-json-datasource # <string, required> access mode. proxy or direct (Server or Browser in the UI). Required diff --git a/utils/grafana/klee_dashboard.json b/utils/grafana/klee_dashboard.json index 3b653bab..cbe71b6c 100644 --- a/utils/grafana/klee_dashboard.json +++ b/utils/grafana/klee_dashboard.json @@ -188,7 +188,7 @@ "#B877D9", "#d44a3a" ], - "datasource": "Klee Stats", + "datasource": "KLEE Stats", "format": "locale", "gauge": { "maxValue": 100, |