diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-10 14:09:24 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-12 16:41:27 +0000 |
| commit | 74c432e6c46f4c570a14b46346b208aeb8b5e0fa (patch) | |
| tree | 24c1d8f4e862c6f4f86217fe2d159c1e987617b8 /README.md | |
| parent | e4129c4c780cc4476ecc65ec13ab8399a3bd9778 (diff) | |
| download | klee-74c432e6c46f4c570a14b46346b208aeb8b5e0fa.tar.gz | |
Add support to compile KLEE with MemorySanitizer (MSan)
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions