diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2018-11-01 11:33:03 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-12-19 22:22:27 +0000 |
| commit | 00470aec372dce20580818fcbc2951c25327392d (patch) | |
| tree | f889e3783bc6ab195dd13e89a3829841c5135c8f /test/regression/2014-09-13-debug-info.c | |
| parent | 8d953bdedcb3c004093bcc2fecb80c31397f2bcb (diff) | |
| download | klee-00470aec372dce20580818fcbc2951c25327392d.tar.gz | |
regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
Diffstat (limited to 'test/regression/2014-09-13-debug-info.c')
| -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> |