Ran
|
Jobs
1
|
Files
1624
|
Run time
1min
|
Badge
README BADGES
|
push
travis-ci
5995 of 14302 relevant lines covered (41.92%)
15436.16 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
61.11 |
58.55% | src/smt/opensmt2/opensmt2.cpp |
28 |
68.0 |
67.44% | src/smt/opensmt2/opensmt2_internal.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 522.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1624 |
41.92 |
Travis Job 522.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|