diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:42:15 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-01-17 10:42:15 +0100 |
| commit | b64b96f721edc32bb806ef182f8097053585685d (patch) | |
| tree | 4c8fa1e361095c23b5b8c7019f2efa30d8694013 /test/Feature/MultipleReallocResolution.c | |
| parent | 8c03dfa5ea9fe5176cbb82b70a36ffa93c70b91c (diff) | |
| download | klee-b64b96f721edc32bb806ef182f8097053585685d.tar.gz | |
Make KLEE fail in case main function is missing
Existence of main() function is checked with assertion. This check fails if KLEE is compiled in Release mode.
Diffstat (limited to 'test/Feature/MultipleReallocResolution.c')
0 files changed, 0 insertions, 0 deletions