diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-12-23 21:37:46 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-01-05 10:57:23 +0000 |
| commit | 04646910ca0fc5a4b08d9a6cdc3cd8c8ae5419ee (patch) | |
| tree | b8a2e68578c901bb3e02b569eab7d95b250f7d56 /runtime/klee-libc/strcmp.c | |
| parent | 40ee8cb9234721dbfe66f3fcb5fda8fb5ad64163 (diff) | |
| download | klee-04646910ca0fc5a4b08d9a6cdc3cd8c8ae5419ee.tar.gz | |
Added a test for invocations of klee_make_symbolic with a wrong size to MakeSymbolicAPI.c, and reformatted the file.
Diffstat (limited to 'runtime/klee-libc/strcmp.c')
0 files changed, 0 insertions, 0 deletions