diff options
Diffstat (limited to 'test/regression/2017-11-01-test-with-empty-varname.c')
| -rw-r--r-- | test/regression/2017-11-01-test-with-empty-varname.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regression/2017-11-01-test-with-empty-varname.c b/test/regression/2017-11-01-test-with-empty-varname.c index 578043ad..2aa9754e 100644 --- a/test/regression/2017-11-01-test-with-empty-varname.c +++ b/test/regression/2017-11-01-test-with-empty-varname.c @@ -3,6 +3,7 @@ // RUN: %klee --output-dir=%t.klee-out %t1.bc // RUN: FileCheck %s --input-file=%t.klee-out/warnings.txt #include "klee/klee.h" + int main() { unsigned a; |