diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-02 18:38:10 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-03-02 18:38:10 +0000 |
| commit | a2617b6bba5b8119979749ef85ffd39baf747720 (patch) | |
| tree | a0fb4f4a7a16d53053e1346840659bf3773aa71f /test/Feature/DoubleFree.c | |
| parent | 05bc038a523180cb21fdd15e691dd96043e2e12d (diff) | |
| download | klee-a2617b6bba5b8119979749ef85ffd39baf747720.tar.gz | |
New regression test checking that the Array factory correctly distinguishes between arrays created at the same location but with different sizes
Diffstat (limited to 'test/Feature/DoubleFree.c')
0 files changed, 0 insertions, 0 deletions