diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-05 16:11:38 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-05 16:24:13 +0000 |
| commit | a8dbdafd32483da1f2aff3852a405c2cef9753f9 (patch) | |
| tree | 249cd9a8f25289b15b3d1d159d89fbdb8624135e /Makefile.config.in | |
| parent | 4f6d1e2e238d836586a42377473df571b983f8f5 (diff) | |
| download | klee-a8dbdafd32483da1f2aff3852a405c2cef9753f9.tar.gz | |
Refactored part of KleeHandler construction so that
- A fixed size buffer is no longer used for output Directory path (would of failed for large paths). - KLEE warns about the presence of klee-out-* files that aren't directories. - We don't get stuck in an infinite loop if there aren't available directories.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions