diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-19 14:08:09 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-20 21:49:58 +0100 |
| commit | 78e618726dfc43376b16d07985f7a8951923d389 (patch) | |
| tree | b4c9df3ecd3df1d3e865126a2a9be86dcbc20845 /examples | |
| parent | 86ad40951ff303b7dc8cc2492900ca5d82ff4d6f (diff) | |
| download | klee-78e618726dfc43376b16d07985f7a8951923d389.tar.gz | |
Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdin symbolic and removed unused arguments to main.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions