diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 19:31:00 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-04-14 19:31:00 +0100 |
| commit | 7616398de27ac2aabfc707ba11fce33ef6032627 (patch) | |
| tree | 4660f18088584e7bd61d5669e29c54fe27b26079 /test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c | |
| parent | f9e074489f7542d29751f899c742803f186ca2cf (diff) | |
| download | klee-7616398de27ac2aabfc707ba11fce33ef6032627.tar.gz | |
Added test case with the examples from https://github.com/klee/klee/issues/334, which triggers a bug in solver-optimize-divides, and which is for now expected to fail.
Diffstat (limited to 'test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c')
0 files changed, 0 insertions, 0 deletions