diff options
| author | Andrew Santosa <dcsandr@nus.edu.sg> | 2017-06-07 15:44:08 +0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-07 15:26:43 +0100 |
| commit | 1310855836fb7e931371647f4464801c277b0f7c (patch) | |
| tree | a141a11e20422328aec1063ead2bb1723b99150d /scripts/klee-control | |
| parent | 48321b4572b494b3e2cb24222043f617424596ee (diff) | |
| download | klee-1310855836fb7e931371647f4464801c277b0f7c.tar.gz | |
Prevent test failure when realloc fails in test/Feature/Realloc.c
Diffstat (limited to 'scripts/klee-control')
0 files changed, 0 insertions, 0 deletions