diff options
| author | Timotej Kapus <tk1713@ic.ac.uk> | 2018-06-07 16:30:42 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-04 20:37:41 +0100 |
| commit | fcaf7fdf5ce2aea2799598ee7de5c8f22ef95f5d (patch) | |
| tree | 01e066899a34ab396ae6da8d00c7a7b3a6186504 /lib/Module/IntrinsicCleaner.cpp | |
| parent | 56edf12a40cdb2658701485528d80a4324abe827 (diff) | |
| download | klee-fcaf7fdf5ce2aea2799598ee7de5c8f22ef95f5d.tar.gz | |
Add add -grafana option to klee-stats
It starts a simple web server that acts as a simple JSON datasource for grafana
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions