diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-09-05 09:55:48 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-06 13:29:31 +0100 |
commit | cdce3e8385927bf2cf2a21902d6563ecea37262c (patch) | |
tree | 3b3daf8731b30acddb7783a28e8eb97637dae291 /test/regression | |
parent | d2285e097656936c866ae6518e0a496cf4499517 (diff) | |
download | klee-cdce3e8385927bf2cf2a21902d6563ecea37262c.tar.gz |
Use FileCheck and LINE instead of grep if possible
As we do not support LLVM 2.9 anymore, we can use FileCheck LINE instead of hard coding line numbers.
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; |