diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-03-19 16:58:04 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-22 14:13:09 +0000 |
| commit | 4030052bbd3f8a4682590ca6fb3a9faf5aec483d (patch) | |
| tree | 6c4455d85b232ada63cefd761b99d0d7a8270483 /lib/Solver | |
| parent | fb96b6370b88d9b7b07fa52ebf54706a8e8a110b (diff) | |
| download | klee-4030052bbd3f8a4682590ca6fb3a9faf5aec483d.tar.gz | |
StatsTracker: remove NumObjects, fix assignment of and always write 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
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions