diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-02-20 12:56:15 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-01 20:29:18 +0000 |
| commit | f9744300055b6afcfa9424b6cb7982072018c74a (patch) | |
| tree | cc131cc90436b5e0d62fe3cab664d212fcd60139 /scripts | |
| parent | f62f8b954a00ae8538f8d3ef2aad77c11e6ed710 (diff) | |
| download | klee-f9744300055b6afcfa9424b6cb7982072018c74a.tar.gz | |
[klee-stats] Use the last row inserted instead of the row with highest 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.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions