diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-12-18 17:28:34 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2014-12-18 17:28:34 +0000 |
| commit | a07c47538984c57f1dcc63606a3808bd9651e9f3 (patch) | |
| tree | 4a543a0898d8758600e74dcde138d551d559b0ea /TODO.txt | |
| parent | 5acb6356d1fdf6b87c8669e8eb88c720b8dc3ee9 (diff) | |
| parent | 060c39c512aa6d06a01a9d52dbefa8ff45054b32 (diff) | |
| download | klee-a07c47538984c57f1dcc63606a3808bd9651e9f3.tar.gz | |
Merge pull request #178 from mchalupa/master
klee: let user override path to runtime library
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions