Ran
|
Jobs
8
|
Files
59
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
2038 of 2421 relevant lines covered (84.18%)
50.74 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
5 | 817.5 (SMT=z3 TESTS=Benchmarks/bytestring) | 59 |
84.18 |
Travis Job 817.5 | |
6 | 817.6 (SMT=z3 TESTS=Benchmarks/esop) | 59 |
84.18 |
Travis Job 817.6 | |
7 | 817.7 (SMT=z3 TESTS=Benchmarks/vector-algorithms) | 59 |
84.18 |
Travis Job 817.7 | |
8 | 817.8 (SMT=cvc4 TESTS=Unit/pos) | 59 |
84.18 |
Travis Job 817.8 | |
9 | 817.9 (SMT=cvc4 TESTS=Unit/neg) | 59 |
84.18 |
Travis Job 817.9 | |
10 | 817.10 (SMT=cvc4 TESTS=Unit/crash) | 59 |
84.18 |
Travis Job 817.10 | |
11 | 817.11 (SMT=z3 TESTS=Benchmarks/icfp_pos) | 59 |
84.18 |
Travis Job 817.11 | |
12 | 817.12 (SMT=z3 TESTS=Benchmarks/icfp_neg) | 59 |
84.18 |
Travis Job 817.12 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|