diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-04-18 17:12:31 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-04-20 15:04:24 +0100 |
| commit | 0e923372536355a6c65dd00ecc410bd818454952 (patch) | |
| tree | b68df5db4378ab5fad663c95ccabe9930a162fda /lib/Module | |
| parent | 55f1672a6928c2337bdb5952f049c833e21826c2 (diff) | |
| download | klee-0e923372536355a6c65dd00ecc410bd818454952.tar.gz | |
Named jobs in Travis CI for better visualization of results
Diffstat (limited to 'lib/Module')
0 files changed, 0 insertions, 0 deletions