Ran
|
Jobs
3
|
Files
36
|
Run time
17s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
1895 of 3362 relevant lines covered (56.37%)
1.59 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
6 |
61.14 |
-0.71% | theories/stlc.rkt |
25 |
46.36 |
-7.1% | theories/ctt.rkt |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 106.1 (RACKET_VERSION=6.4) | 36 |
55.98 |
Travis Job 106.1 | |
2 | 106.2 (RACKET_VERSION=6.5) | 36 |
53.86 |
Travis Job 106.2 | |
3 | 106.3 (RACKET_VERSION=HEAD) | 36 |
49.29 |
Travis Job 106.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|