diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-13 20:58:09 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | e3d84e2888b51f271f53c2b368f76f958b6ff1dc (patch) | |
| tree | bf62812fb148c549aad7cdeb7b3d9a12a1fe05a1 /.cirrus.yml | |
| parent | 23767d2dba13dc1dd0022f77577f2adddf38279a (diff) | |
| download | klee-e3d84e2888b51f271f53c2b368f76f958b6ff1dc.tar.gz | |
Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don't need POSIX support to run.
Diffstat (limited to '.cirrus.yml')
0 files changed, 0 insertions, 0 deletions