Ran
|
Jobs
2
|
Files
42
|
Run time
10min
|
Badge
Embed ▾
README BADGES
|
travis-ci
60 of 65 branches covered (92.31%)
227 of 241 relevant lines covered (94.19%)
26.34 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
8 | 646.8 (PYSMT_SOLVER="picosat") | 0 | Travis Job 646.8 | ||
20 | 646.20 (PYSMT_SOLVER="msat_wrap") | 42 |
94.19 |
Travis Job 646.20 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|