Ran
|
Jobs
1
|
Files
1239
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
119 of 119 new or added lines in 5 files covered. (100.0%)
5541 of 13970 relevant lines covered (39.66%)
13387.22 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
73.91 |
-3.86% | src/engine/engine.cpp |
2 |
0.0 |
0.0% | src/utils/exception.h |
34 |
70.81 |
3.02% | src/smt/yices2/yices2_internal.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
0.0 |
0.0% | src/utils/exception.h |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 505.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1239 |
39.66 |
Travis Job 505.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|