diff options
Diffstat (limited to 'test/Feature/WriteCov.c')
| -rw-r--r-- | test/Feature/WriteCov.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/WriteCov.c b/test/Feature/WriteCov.c index 304198c5..3fd0074c 100644 --- a/test/Feature/WriteCov.c +++ b/test/Feature/WriteCov.c @@ -7,7 +7,7 @@ // RUN: grep %t.klee-out/test000001.cov:1 %t3.txt // RUN: grep %t.klee-out/test000002.cov:0 %t3.txt // RUN: grep %t.klee-out/test000002.cov:1 %t3.txt - +#include "klee/klee.h" #include <assert.h> #include <stdio.h> |