diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 20:47:47 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-16 21:23:24 +0000 |
| commit | c1d3977f07ddbf840ca3cdbd580239921a9c5f91 (patch) | |
| tree | 92774b4a261228f4ae5523850a2efce122b00e6c /lib/Module/KModule.cpp | |
| parent | d44d507631c345edf33ee7f6ecf7fd942af7760b (diff) | |
| download | klee-c1d3977f07ddbf840ca3cdbd580239921a9c5f91.tar.gz | |
Added support for disabling --batch-instructions and --batch-time by setting them to 0
Diffstat (limited to 'lib/Module/KModule.cpp')
0 files changed, 0 insertions, 0 deletions