diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2018-11-01 11:30:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-12-19 22:22:27 +0000 |
| commit | 8d953bdedcb3c004093bcc2fecb80c31397f2bcb (patch) | |
| tree | 46b931acc87be4823ecd31ca934f93eddc5de5c6 /utils/data | |
| parent | be1c91ace77d519c37348c290a2c03db159d01bf (diff) | |
| download | klee-8d953bdedcb3c004093bcc2fecb80c31397f2bcb.tar.gz | |
Various fixes for ktest-tool
* switch to Python 3
* add file encoding
* some PEP8 reformatting
* fix TOCTOU for open
* replace trimZeros() with rstrip
* remove unused pos/args variables
* remove --write-ints (print by default)
* remove progname section (unused)
* added/modified output rows
- "data:" now shows the Python representation (for use in scripts)
- "hex :" shows the hex representation
- "text:" shows ASCII, all out-of-range/non-printable characters are replaced by a dot
- "int :"/"uint:" print (unsigned) 8/16/32/64 bit integers
* reduce width for object counter to needed minimum instead of 4
* refactor printing into function
Diffstat (limited to 'utils/data')
0 files changed, 0 insertions, 0 deletions