diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-05 12:17:02 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-08-03 14:04:40 +0100 |
| commit | dfefd9710a3a64c5a81936d86f8b87d7ebc2e0b7 (patch) | |
| tree | 89bc77f1406dabf7a3bacd97c9e5cae0d2842c6a /lib/Module/KModule.cpp | |
| parent | 4e4744750e623f07e8a8dfa4156ba7333e787647 (diff) | |
| download | klee-dfefd9710a3a64c5a81936d86f8b87d7ebc2e0b7.tar.gz | |
Fixed runtest library to handle the case of a NULL "name" argument in klee_make_symbolic. Changed a test case to check this feature.
Diffstat (limited to 'lib/Module/KModule.cpp')
0 files changed, 0 insertions, 0 deletions