diff options
Diffstat (limited to 'test/Feature/KleeStatsColumns.test')
-rw-r--r-- | test/Feature/KleeStatsColumns.test | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/Feature/KleeStatsColumns.test b/test/Feature/KleeStatsColumns.test index 6fcbdf4b..1ebe1e37 100644 --- a/test/Feature/KleeStatsColumns.test +++ b/test/Feature/KleeStatsColumns.test @@ -1,4 +1,8 @@ -RUN: %klee-stats --print-all %S/klee-stats/missing_column %S/klee-stats/run %S/klee-stats/additional_column | 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/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 | |{{.*}}| |{{$}} |