Ran
|
Jobs
1
|
Files
28
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci-com
1927 of 2574 relevant lines covered (74.86%)
0.75 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
26 |
82.89 |
-0.67% | tea/z3_solver/solver.py |
74 |
79.86 |
0.24% | tea/helpers/evaluateHelperMethods.py |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 417.1 | 28 |
74.86 |
Travis Job 417.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|