Ran
|
Jobs
1
|
Files
1624
|
Run time
1min
|
Badge
README BADGES
|
travis-ci
317 of 317 new or added lines in 10 files covered. (100.0%)
5995 of 14302 relevant lines covered (41.92%)
15436.16 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
74.42 |
-1.77% | src/sally.cpp |
8 |
88.57 |
src/smt/y2o2/y2o2.cpp | |
14 |
61.11 |
src/smt/opensmt2/opensmt2.cpp | |
56 |
68.0 |
src/smt/opensmt2/opensmt2_internal.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
74.42 |
-1.77% | src/sally.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 523.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1624 |
41.92 |
Travis Job 523.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|