diff options
Diffstat (limited to 'test/Feature/Searchers.c')
| -rw-r--r-- | test/Feature/Searchers.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/Searchers.c b/test/Feature/Searchers.c index cd806950..c5260f3d 100644 --- a/test/Feature/Searchers.c +++ b/test/Feature/Searchers.c @@ -30,7 +30,7 @@ /* this test is basically just for coverage and doesn't really do any correctness check (aside from testing that the various combinations don't crash) */ - +#include "klee/klee.h" #include <stdlib.h> int validate(char *buf, int N) { |