From cdce3e8385927bf2cf2a21902d6563ecea37262c Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Wed, 5 Sep 2018 09:55:48 +0100 Subject: 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. --- test/regression/2014-07-04-unflushed-error-report.c | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'test/regression') 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; -- cgit 1.4.1