diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-02-23 22:26:03 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-17 22:38:16 +0000 |
| commit | 02b9b0483a5243595c712c27f445ae7eda0fea9a (patch) | |
| tree | 935533f13e58cc28637ab6308a02d52181f33e6e /unittests/KDAlloc | |
| parent | 789bf292487566980e69b0745e5e2cd1f252cd80 (diff) | |
| download | klee-02b9b0483a5243595c712c27f445ae7eda0fea9a.tar.gz | |
Update CI components
* Use Ubuntu 22.04 instead of 18.04 * Use LLVM 11 instead of 9 * Use TCMalloc 2.9.1 * Use Z3 4.8.15 * Use Sqlite3 3400100 Clean-up comments and structure to satisfy yaml linter
Diffstat (limited to 'unittests/KDAlloc')
0 files changed, 0 insertions, 0 deletions