diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-10-03 19:58:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-10-03 19:58:16 +0100 |
| commit | 1527c8a33b05d26fd21d6bac946ff453d225b381 (patch) | |
| tree | beb6093bc7c21b7b377559c536d6ff4d57563a46 /test/regression/2007-10-12-failed-make-symbolic-after-copy.c | |
| parent | 91f5fffbb423f669603f29c323ec635d263f666a (diff) | |
| download | klee-1527c8a33b05d26fd21d6bac946ff453d225b381.tar.gz | |
Silenced some warnings about unused variables when assertions are disabled.
Diffstat (limited to 'test/regression/2007-10-12-failed-make-symbolic-after-copy.c')
0 files changed, 0 insertions, 0 deletions