diff options
Diffstat (limited to 'test/Runtime/POSIX/FreeArgv.c')
| -rw-r--r-- | test/Runtime/POSIX/FreeArgv.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/Runtime/POSIX/FreeArgv.c b/test/Runtime/POSIX/FreeArgv.c index 93ed697e..cdc5487f 100644 --- a/test/Runtime/POSIX/FreeArgv.c +++ b/test/Runtime/POSIX/FreeArgv.c @@ -4,7 +4,8 @@ // RUN: test -f %t.klee-out/test000001.free.err // RUN: test -f %t.klee-out/test000002.free.err // RUN: test -f %t.klee-out/test000003.free.err - +#include "klee/klee.h" +#include <stdlib.h> int main(int argc, char **argv) { switch (klee_range(0, 3, "range")) { case 0: |