about summary refs log tree commit diff homepage
path: root/test/regression
diff options
context:
space:
mode:
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/2014-09-13-debug-info.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/test/regression/2014-09-13-debug-info.c b/test/regression/2014-09-13-debug-info.c
index ced6d49a..60b9c7f4 100644
--- a/test/regression/2014-09-13-debug-info.c
+++ b/test/regression/2014-09-13-debug-info.c
@@ -8,8 +8,7 @@
 // one with the prefered CEX. We verify this by using ktest-tool to dump the
 // values, and then checking the output.
 //
-// RUN: /bin/sh -c "ktest-tool %t.klee-out/*.ktest" > %t.data-values
-// RUN: FileCheck < %t.data-values %s
+// RUN: %ktest-tool %t.klee-out/*.ktest | FileCheck %s
 
 // CHECK-DAG: object 0: int : 0
 // CHECK-DAG: object 0: int : 17