diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-04-14 19:19:41 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-29 19:18:43 +0100 |
| commit | fd8ec5c7322cfd68774dc2125323bb6f9283c8da (patch) | |
| tree | 4910883b313fcba97da633a1dc7971fe5421b8f4 /test | |
| parent | 5f8541ea1bb007af182cdda6080e3e46fce8e271 (diff) | |
| download | klee-fd8ec5c7322cfd68774dc2125323bb6f9283c8da.tar.gz | |
Add a configuration file for Cirrus CI.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions