about summary refs log tree commit diff homepage
path: root/utils/grafana/klee_dashboard.json
AgeCommit message (Collapse)Author
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-03-22StatsTracker: remove NumObjects, fix assignment of and always write ↵Frank Busse
ArrayHashTime * fix binding order for assignments when KLEE_ARRAY_DEBUG enabled * always write ArrayHashTime column to run.stats, assign -1 when KLEE_ARRAY_DEBUG disabled * remove unused NumObjects column from run.stats * remove NumObjects panel from Grafana
2020-01-17Use current values for stats in GrafanaGeorge Ordish
2020-01-17Extended the grafana dashboard.knm17
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.
2020-01-17Add Dockerfile for preconfigured GrafanaGeorge Ordish
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.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 03:34:02 +0000