| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar | |
| 2018-12-19 | regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:' | Frank Busse | |
| 2018-12-19 | Various fixes for ktest-tool | Frank Busse | |
| * 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 | |||
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby | |
| Otherwise optimizations done in klee won't have any effect. Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2018-05-06 | Moved regression test to proper location. Fixes #705 | Cristian Cadar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |