diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-05-26 01:06:45 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-05-26 21:06:50 +0100 |
| commit | 1a087c7d23127b28610f76f201ddd5b750aa0080 (patch) | |
| tree | 6363f492c5c2a4501175425dcbfdc0f66c181285 /unittests/Solver/CMakeLists.txt | |
| parent | d3db14ce3b0a3b4902d74a517c08fd19e8469e9e (diff) | |
| download | klee-1a087c7d23127b28610f76f201ddd5b750aa0080.tar.gz | |
Copy stats to test directory when running tests
The sqlite3 databases used for the stats are journalled and potentially must be written to. Therefore, the sqlite3 driver used by `klee-stats` requires write permissions on the database files. By copying the stats files to the test directory, we can now compile and test an out-of-tree build without requiring any write permissions on the source folder at all.
Diffstat (limited to 'unittests/Solver/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions