diff options
Diffstat (limited to 'test/Feature/consecutive_divide_by_zero.c')
-rw-r--r-- | test/Feature/consecutive_divide_by_zero.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Feature/consecutive_divide_by_zero.c b/test/Feature/consecutive_divide_by_zero.c index 0915bbaa..7a0dc1d9 100644 --- a/test/Feature/consecutive_divide_by_zero.c +++ b/test/Feature/consecutive_divide_by_zero.c @@ -8,6 +8,8 @@ * only one test case is generated EVEN IF THERE ARE MULTIPLE * DISTINCT ERRORS! */ + +#include "klee/klee.h" int main() { unsigned int a = 15; unsigned int b = 15; |