blob: 1ebe1e3705696983ef86b56dd0b0e3a028718ece (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
// sqlite databases must be opened with write permissions, so we copy the test cases to the output dir
RUN: rm -rf %t.klee-stats
RUN: mkdir %t.klee-stats
RUN: cp -r %S/klee-stats/missing_column %S/klee-stats/run %S/klee-stats/additional_column %t.klee-stats/
RUN %klee-stats --print-all %t.klee-stats/missing_column %t.klee-stats/run %t.klee-stats/additional_column | FileCheck %s
// Path, Instrs, ..., extra_column
CHECK: {{^}}| missing_column | |{{.*}}| |{{$}}
CHECK: {{^}}| run | 3|{{.*}}| |{{$}}
CHECK: {{^}}|additional_column| 3|{{.*}}| 4711|{{$}}
|
