diff options
Diffstat (limited to 'test/Feature/KleeStatsEmpty.test')
| -rw-r--r-- | test/Feature/KleeStatsEmpty.test | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/Feature/KleeStatsEmpty.test b/test/Feature/KleeStatsEmpty.test index aae1fee1..64524f38 100644 --- a/test/Feature/KleeStatsEmpty.test +++ b/test/Feature/KleeStatsEmpty.test @@ -1,4 +1,8 @@ -RUN: %klee-stats %S/klee-stats/empty | FileCheck %s +// 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{{ *}}|{{$}} |