diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-04-11 09:18:28 +0000 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-04-11 09:18:28 +0000 |
| commit | b3699362acc4bd438b6ff28f3d7c22824a119513 (patch) | |
| tree | 4502edc0c6d769cdec7ef5816b34c805ebc40494 /lib/Core/Executor.h | |
| parent | 2d448d8859f3dd0b4951f320b4fdb64a5a84c085 (diff) | |
| download | klee-b3699362acc4bd438b6ff28f3d7c22824a119513.tar.gz | |
Small refactoring to improve the consistency of info file handling
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions