test/Feature/KleeStatsColumns.test


1
2
3
4
5

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|{{.*}}|{{$}}