diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-31 23:15:04 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-31 23:15:04 +0100 |
| commit | 64f6edf2280569a49c307350522947d6955ac8d7 (patch) | |
| tree | cfa1242e2f2bff5867c3d2a66caaeca436204dd6 /Makefile.common | |
| parent | 039e8c5ee8b5e23e6031e241ddf202d2a12db3b7 (diff) | |
| parent | 6899ea11475aca9ca60f77b746fc3b08272481e5 (diff) | |
| download | klee-64f6edf2280569a49c307350522947d6955ac8d7.tar.gz | |
Merge pull request #405 from ccadar/times
Fixed the stub for times() not to dereference a NULL pointer when cal…
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions