Ran
|
Jobs
1
|
Files
394
|
Run time
49s
|
Badge
Embed ▾
README BADGES
|
travis-ci
15 of 15 new or added lines in 1 file covered. (100.0%)
60685 of 91800 relevant lines covered (66.11%)
1213710.19 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
13 |
77.01 |
-0.28% | src/solvers/cdcl/smt_core.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 362.1 | 394 |
66.11 |
Travis Job 362.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|