diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-16 02:25:21 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-16 02:25:21 -0700 |
| commit | c4147c2ad9ba1e74642e1a3de31be8f4446cc7f3 (patch) | |
| tree | 9028ba3b5565e0d95b93cf55c7c05a4fb83f4488 /Makefile.config.in | |
| parent | 87968a53a31aaddb0c15b5d7078f6df05904fa0a (diff) | |
| parent | 51f7cb3a3b494bd38ad9b3aec72a32f7973b8a06 (diff) | |
| download | klee-c4147c2ad9ba1e74642e1a3de31be8f4446cc7f3.tar.gz | |
Merge pull request #9 from delcypher/refactor-arg-init
Slight refactor of code initialising memory for argments/environment c-strings
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions