diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-05-12 11:17:48 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-05-18 10:22:51 +0100 |
| commit | eba0093c4887473be2562a7ab4e16b3d09793f4e (patch) | |
| tree | e03582fee517db083a42b3057b1f4bad187de059 /test/lit.cfg | |
| parent | e481f415042b9bcb5af6d057648852a9d8ef7d4e (diff) | |
| download | klee-eba0093c4887473be2562a7ab4e16b3d09793f4e.tar.gz | |
Modified -debug-print-instructions to allow to write directly on log file.
The option now contains 4 different options: 1) all:stderr, which logs all instructions to file in format [src, inst_id, llvm_inst]; 2) src:stderr, which logs all instructions to file in format [src, inst_id]; 3) compact:stderr, which logs all instructions to file in format [inst_id]; 4) all:file, which logs all instructions to file in format [src, inst_id, llvm_inst]; 5) src:file, which logs all instructions to file in format [src, inst_id]; 6) compact:file, which logs all instructions to file in format [inst_id]; Writing to file gives a speedup of ~50x.
Diffstat (limited to 'test/lit.cfg')
0 files changed, 0 insertions, 0 deletions