diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-18 23:47:55 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-18 23:47:55 +0100 |
| commit | 5f4673e68a5dceb92fb933fa56d04125cb155dfd (patch) | |
| tree | 1a400a2a971a83fc353e20c50d5f4f3b62aa4b04 /test | |
| parent | e5ae98b78fcc9259ce0211bdc00852e2f74121ea (diff) | |
| parent | ab5399ebe814aef1b083b29f82db52cdb3ed9a27 (diff) | |
| download | klee-5f4673e68a5dceb92fb933fa56d04125cb155dfd.tar.gz | |
Merge pull request #213 from MartinNowack/klee-clang
Add klee-clang as alternative to klee-gcc
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions