diff options
| author | Martijn Thé <martijn@pebble.com> | 2015-07-31 13:46:59 +0200 |
|---|---|---|
| committer | Jiri Slaby <jslaby@suse.cz> | 2017-02-10 15:49:59 +0100 |
| commit | 37ce2ef0320c69c6765ad3c0f3b7d4f705c45262 (patch) | |
| tree | 942c230f0149c68f5a92590a6965bb5b632f5ad4 /test/Feature/const_array_opt1.c | |
| parent | de7e2b94a5f9ee05496e6a65e7370d7270b38799 (diff) | |
| download | klee-37ce2ef0320c69c6765ad3c0f3b7d4f705c45262.tar.gz | |
test: fix broken Vararg test
The helper function had int return type, while no value was being returned. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Diffstat (limited to 'test/Feature/const_array_opt1.c')
0 files changed, 0 insertions, 0 deletions