RUN: %klee-stats --print-all %S/klee-stats/missing_column %S/klee-stats/run %S/klee-stats/additional_column | FileCheck %s CHECK: {{^}}| missing_column | |{{.*}}| |{{$}} CHECK: {{^}}| run | 3|{{.*}}| |{{$}} CHECK: {{^}}|additional_column| 3|{{.*}}| 4711|{{$}}