diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-09-05 16:53:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-11-05 14:51:18 +0000 |
| commit | 2429db65ea2a005c76d8c4613e833d8f79cb4db1 (patch) | |
| tree | 535d2fc8c4dc25ef794686798aeccaad96212a52 /test/regression | |
| parent | 381d767d0f0565b311bd33ffcad4ea97bd9bdcb8 (diff) | |
| download | klee-2429db65ea2a005c76d8c4613e833d8f79cb4db1.tar.gz | |
[test] Fix missing includes
Fix multiple missing includes
Diffstat (limited to 'test/regression')
| -rw-r--r-- | test/regression/2015-08-05-invalid-fork.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regression/2015-08-05-invalid-fork.c b/test/regression/2015-08-05-invalid-fork.c index 5f1b104e..a165cab2 100644 --- a/test/regression/2015-08-05-invalid-fork.c +++ b/test/regression/2015-08-05-invalid-fork.c @@ -2,6 +2,7 @@ The test makes sure that the string "Should be printed once" is printed a single time. */ +#include "klee/klee.h" // RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc // RUN: rm -rf %t.klee-out |