Ran
|
Jobs
1
|
Files
32
|
Run time
5s
|
Badge
Embed ▾
README BADGES
|
travis-ci
50 of 108 branches covered (46.3%)
245 of 298 relevant lines covered (82.21%)
3.58 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
4 | 717.4 (PYSMT_SOLVER="z3") | 32 |
82.21 |
Travis Job 717.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|