| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-05-26 | Copy stats to test directory when running tests | Daniel Schemmel | |
| 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. | |||
| 2020-09-30 | tests: add tests for empty .stats and additional/missing columns | Frank Busse | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |