diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-10-06 08:52:46 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-01-16 16:18:39 +0100 |
| commit | 3916f00c68611a8c85b856bc4af7f43bb5f0e628 (patch) | |
| tree | 03afb6a9951ccfe3713637aa72c33741e225e551 /Dockerfile | |
| parent | 37f554d5cf587ec9f6befa359a0e3aa60e9ce73f (diff) | |
| download | klee-3916f00c68611a8c85b856bc4af7f43bb5f0e628.tar.gz | |
[Travis-CI] Added codecov.io support
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions