diff options
| -rw-r--r-- | test/regression/2014-09-13-debug-info.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c index e4e9874c..eeed301a 100644 --- a/test/regression/2014-09-13-debug-info.c +++ b/test/regression/2014-09-13-debug-info.c @@ -11,10 +11,10 @@ // RUN: /bin/sh -c "ktest-tool %t.klee-out/*.ktest" | sort > %t.data-values // RUN: FileCheck < %t.data-values %s -// CHECK: object 0: data: 0 -// CHECK: object 0: data: 17 -// CHECK: object 0: data: 32 -// CHECK: object 0: data: 99 +// CHECK: object 0: int : 0 +// CHECK: object 0: int : 17 +// CHECK: object 0: int : 32 +// CHECK: object 0: int : 99 #include <klee/klee.h> |