about summary refs log tree commit diff homepage
path: root/test
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2018-11-01 11:33:03 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2018-12-19 22:22:27 +0000
commit00470aec372dce20580818fcbc2951c25327392d (patch)
treef889e3783bc6ab195dd13e89a3829841c5135c8f /test
parent8d953bdedcb3c004093bcc2fecb80c31397f2bcb (diff)
downloadklee-00470aec372dce20580818fcbc2951c25327392d.tar.gz
regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
Diffstat (limited to 'test')
-rw-r--r--test/regression/2014-09-13-debug-info.c8
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>