Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-03-23 | stats: add termination class stats | Frank Busse | |
2023-03-23 | stats: add branch type stats | Frank Busse | |
2023-03-23 | stats: rename States -> ActiveStates, add States | Frank Busse | |
2023-03-23 | stats: add Allocations | Frank Busse | |
2023-03-23 | stats: rename numQueries/Queries -> SolverQueries, add Queries | Frank Busse | |
2023-03-23 | stats: add ExternalCalls | Frank Busse | |
2023-03-23 | stats: add QCacheHits/Misses | Frank Busse | |
2023-03-23 | stats: add InhibitedForks | Frank Busse | |
2023-03-22 | klee-stats: improve error message for missing tabulate package | Frank Busse | |
2022-01-07 | klee-stats: fix --print-more | Frank Busse | |
2022-01-07 | klee-stats: add --print-columns | Frank Busse | |
2022-01-07 | klee-stats: do not print summary line for csv/readable-csv | Frank Busse | |
2022-01-07 | klee-stats: fix BCov calculation for zero br instructions | Frank Busse | |
2022-01-07 | klee-stats: rename/reorder/document columns | Frank Busse | |
* rename columns for consistency * reorder columns and group by "categories" * add missing documentation * fix existing documentation * show MaxMem as float | |||
2021-11-02 | klee-stats: order remaining columns alphabetically | Frank Busse | |
2021-04-29 | Fix erroneous klee-stats legend for --print-all | Jordy Ruiz | |
Only absolute times were displayed, and were marked as %. Fixes CexCacheTime, ForkTime and ResolveTime columns. | |||
2020-11-11 | klee-stats: add (readable) csv format (--table-format=readable-csv/csv) | Frank Busse | |
2020-09-30 | klee-stats: fix behaviour for broken/empty DBs | Frank Busse | |
* fill missing columns in rows with None * fill previous rows with None if new column encountered * error for --to-csv when more than one input directory given | |||
2020-08-23 | klee-stats: check for a run.stats file in the klee-out directory, to prevent ↵ | Jordy Ruiz | |
outputting wrong data. When KLEE crashes, it produces an empty info file, so it is not enough to check for the existence of an info file. Previously, table columns would mismatch and return data labeled with the wrong directory names. | |||
2020-03-31 | Fixed some messages, particularly Klee -> KLEE | Cristian Cadar | |
2020-03-01 | [klee-stats] Grafana: Limit number of entries to query for column names | Martin Nowack | |
2020-03-01 | [klee-stats] Use the last row inserted instead of the row with highest ↵ | Martin Nowack | |
Instructions Last `Instructions` is not a good identifier to retrieve the correct row. For the default setup, KLEE will generate two entries with the same last instruction. One before clean-up and one after clean-up (i.e. if states are terminated on halt). Using `rowid` will select the last line. | |||
2020-03-01 | [klee-stats] Refactor preparing and printing the table | Martin Nowack | |
The number and order of statistics in klee-stats is hard coded. Moreover, adding new statistics to KLEE lead to crashes. Rewriting that part of the script generalises and streamlines the process. List of changes: * Extend legend: this is used for known columns to provide shorter names * simplify sqlite handling and make it more robust and reading of data * select columns based on internal KLEE names * streamline addition of artificial columns and make it robust * handle the case if different runs should be compared but not all have the same statistics * fix calculation of summary row: - avg of column if column is showing a relative value or avg value - max of column if column is showing a max value - sum of column entries, else | |||
2020-03-01 | [klee-stats] Check for existence of stats file for Grafana as well | Martin Nowack | |
2020-03-01 | [klee-stats] Do not crash if tabulate is not installed but requested | Martin Nowack | |
2020-03-01 | [klee-stats] Refactor writing table into own function | Martin Nowack | |
2020-03-01 | [klee-stats] Refactor CSV printout in own function | Martin Nowack | |
2020-03-01 | [klee-stats] Check if stats file exist before trying to open it | Martin Nowack | |
Providing a list of directories might sometimes not contain the stats file. Check its existence before trying to access it. | |||
2020-01-17 | Add support to provid a specific host address and port for grafana server | Martin Nowack | |
2020-01-17 | Extended 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. | |||
2019-08-08 | Read Klee's start time correctly in klee-stats | George Ordish | |
The last modification time of the run.stats database was being used as the starting time of klee. This was causing Grafana to show graphs incorrectly. Instead we now read the start time from the info file. Co-Authored-By: Kenny Macheka <knm17@ic.ac.uk> | |||
2019-04-12 | Fix handling of time in grafana | Timotej Kapus | |
2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
2019-04-04 | Remove unused function | Timotej Kapus | |
2019-04-04 | Remove precision | Timotej Kapus | |
2019-04-04 | Remove compare-by | Timotej Kapus | |
2019-04-04 | Remove sort-by | Timotej Kapus | |
2019-04-04 | Remove unused -sample-interval option | Timotej Kapus | |
2019-04-04 | Remove linechart for klee-stats | Timotej Kapus | |
2019-04-04 | Add add -grafana option to klee-stats | Timotej Kapus | |
It starts a simple web server that acts as a simple JSON datasource for grafana | |||
2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
2018-08-29 | klee-stats: add TResolve(%) to --print-all | Frank Busse | |
2018-03-01 | Store CexCache stats and then update klee-stats to use them | Domenico Fabio Marino | |
Signed-off-by: Domenico Fabio Marino <nospamdomi@hotmail.it> | |||
2016-02-23 | Added missing copyright headers per klee/issue #301 | Marko Dimjašević | |
2016-02-08 | Fixed two spelling errors. | Marko Dimjašević | |
2014-07-18 | Refactor klee-stats and add simple line chart drawing functionality. | Lei Zhang | |
2012-10-09 | Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, ↵ | Cristian Cadar | |
--print-rel-times, --precision) to klee-stats. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165499 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
2012-06-21 | Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg ↵ | Cristian Cadar | |
and max memory consumption and states. A bug in the compare-by=<key> functionality has been fixed and the --compare-at=[<value>|last] option has been added. Specifying a value reports all statistics at the point where <key> had value <value>; specifying 'last' reports at the largest <key> value common to all executions" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158948 91177308-0d34-0410-b5e6-96231b3b80d8 |