diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-09-06 11:54:25 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-10 15:24:17 +0100 |
| commit | c97526d0fff13e098b284369e2fc40c256b268d5 (patch) | |
| tree | 281aea1f6e99bff0c80ee7d2c18dca0fc4725495 /lib | |
| parent | 57607f5075dd9ba1e058a05ad84d6359f799fe6a (diff) | |
| download | klee-c97526d0fff13e098b284369e2fc40c256b268d5.tar.gz | |
Add testcase to run POSIX environment and main without arguments
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions