Ran
|
Jobs
1
|
Files
40
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
37 of 37 new or added lines in 8 files covered. (100.0%)
236 of 1158 relevant lines covered (20.38%)
0.2 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
0.0 |
0.0% | DDF/Bool.hs |
2 |
24.75 |
-0.5% | DDF/Diff.hs |
2 |
23.76 |
-0.48% | DDF/ImpW.hs |
2 |
0.0 |
0.0% | DDF/Show.hs |
2 |
9.64 |
-0.24% | DDF/Size.hs |
5 |
24.74 |
-1.34% | DDF/Eval.hs |
10 |
0.0 |
DDF/Ordering.hs | |
11 |
16.67 |
-0.45% | DDF/TermGen.hs |
Lines | Coverage | ∆ | File |
---|---|---|---|
6 |
16.67 |
-0.45% | DDF/TermGen.hs |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 453.1 | 40 |
20.38 |
Travis Job 453.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|