diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-03-21 22:00:30 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-21 22:00:30 +0000 |
| commit | 345c88c0d88daa6d5a3d12bd7c61d03e604f2d53 (patch) | |
| tree | 7c1cbe59de8e546f7bae14aea325e293108f4265 /lib/Core/Executor.h | |
| parent | 2824a126cb32001bdfb0cf43ad90ba1e01c2f71f (diff) | |
| parent | 73c5c452234fbd619028667b5f7a6f97741da764 (diff) | |
| download | klee-345c88c0d88daa6d5a3d12bd7c61d03e604f2d53.tar.gz | |
Merge pull request #617 from jirislaby/no-warn
runtime: change __get_sym_file to return NULL when path is NULL
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions