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 /examples | |
| 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 'examples')
0 files changed, 0 insertions, 0 deletions