Ran
|
Jobs
1
|
Files
1624
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
travis-ci
307 of 307 new or added lines in 10 files covered. (100.0%)
5555 of 14278 relevant lines covered (38.91%)
13100.49 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
87.5 |
src/smt/opensmt2/opensmt2_info.h | |
1 |
0.0 |
src/smt/opensmt2/opensmt2_term_cache.h | |
1 |
50.0 |
src/smt/y2o2/y2o2_info.h | |
3 |
74.42 |
-1.77% | src/sally.cpp |
3 |
0.0 |
src/smt/opensmt2/opensmt2_internal.h | |
12 |
0.0 |
src/smt/opensmt2/opensmt2_term_cache.cpp | |
38 |
2.56 |
src/smt/opensmt2/opensmt2.cpp | |
59 |
1.67 |
src/smt/y2o2/y2o2.cpp | |
176 |
0.56 |
src/smt/opensmt2/opensmt2_internal.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
74.42 |
-1.77% | src/sally.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 515.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1624 |
38.91 |
Travis Job 515.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|