diff options
Diffstat (limited to 'test/regression')
| -rw-r--r-- | test/regression/2014-07-04-unflushed-error-report.c | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/test/regression/2014-07-04-unflushed-error-report.c b/test/regression/2014-07-04-unflushed-error-report.c index 0518fb4d..0b98944a 100644 --- a/test/regression/2014-07-04-unflushed-error-report.c +++ b/test/regression/2014-07-04-unflushed-error-report.c @@ -6,20 +6,17 @@ /* This test checks that the error file isn't empty and contains the * right content. */ -int main() -{ - unsigned int x=15; +int main() { + unsigned int x = 15; unsigned int y; unsigned int z; volatile unsigned int result; /* Overshift if y>= sizeof(x) */ - klee_make_symbolic(&y,sizeof(y),"shift_amount1"); + klee_make_symbolic(&y, sizeof(y), "shift_amount1"); // CHECK: Error: overshift error // CHECK-NEXT: 2014-07-04-unflushed-error-report.c - // FIXME: Need newer FileCheck for to do ``Line: [[@LINE+1]]`` - // Just hardcode line number for now - // CHECK-NEXT: Line: 23 + // CHECK-NEXT: Line: [[@LINE+1]] result = x << y; return 0; |