Ran
|
Jobs
1
|
Files
120
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
537 of 1212 branches covered (44.31%)
3659 of 5341 relevant lines covered (68.51%)
0.69 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
11 | 259.11 (PYSMT_SOLVER="None") | 120 |
68.51 |
Travis Job 259.11 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|