Ran
|
Jobs
1
|
Files
127
|
Run time
16s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
787 of 3194 branches covered (24.64%)
4233 of 8954 relevant lines covered (47.27%)
7.25 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
4 | 233.4 (PYSMT_SOLVER="z3") | 127 |
47.27 |
Travis Job 233.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|