diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-09-06 11:29:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-10 15:24:17 +0100 |
| commit | 83fcf1504597b2ee77276d287e70bd0ae8d201ec (patch) | |
| tree | e6f7dd692a00037641f6bc189839e08bc245c689 /CMakeLists.txt | |
| parent | 3d373d8b5c101e0798ea8a5e8015aa03537d02d8 (diff) | |
| download | klee-83fcf1504597b2ee77276d287e70bd0ae8d201ec.tar.gz | |
Fix generation of global constructors and destructors
Validate if the user-selected entry function exists. Do not assume it is `main`.
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions