diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2020-08-14 15:36:40 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-30 21:28:12 +0100 |
| commit | f83eac1f001e11c3464fcf088eb4e433abad04a9 (patch) | |
| tree | 248a6e8ba71deeb5f7f29d27c93008a77a2e2928 /runtime | |
| parent | 2bd684d2bfb7eaeff14f331453f92a1fe05a7bda (diff) | |
| download | klee-f83eac1f001e11c3464fcf088eb4e433abad04a9.tar.gz | |
klee-stats: fix behaviour for broken/empty DBs
* 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
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions