blob: 64524f38f6069c56106ec0e145592a1e872be616 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
// 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/empty %t.klee-stats/
RUN: %klee-stats %t.klee-stats/empty | FileCheck %s
CHECK: {{^}}|{{ *}}Path{{ *}}|{{$}}
CHECK: {{^}}|{{.*}}empty{{ *}}|{{$}}
|
