diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:10:29 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:14:45 +0000 |
| commit | fd0c6614ec5eb93fb00de029a79de4247511d0ef (patch) | |
| tree | c40139cc13bf4abf2c84f7d5d8c4c9d2b4157e34 /test/TestRunner.sh | |
| parent | 3c49bee67765e3b58ff5cfd2dcc26568509e275b (diff) | |
| download | klee-fd0c6614ec5eb93fb00de029a79de4247511d0ef.tar.gz | |
When running with -debug-only=klee_linker do not report the number
of modules left because this information is no longer correct (we no longer shrink the vector).
Diffstat (limited to 'test/TestRunner.sh')
0 files changed, 0 insertions, 0 deletions