Ran
|
Jobs
1
|
Files
248
|
Run time
13s
|
Badge
README BADGES
|
travis-ci
158 of 158 new or added lines in 13 files covered. (100.0%)
8501 of 13234 relevant lines covered (64.24%)
15456.02 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
48.75 |
-0.17% | src/expr/model.cpp |
1 |
68.15 |
3.3% | src/expr/term_manager_internal.h |
1 |
42.25 |
5.33% | src/parser/antlr_parser.h |
3 |
60.87 |
-0.24% | src/parser/command.cpp |
4 |
55.84 |
-3.06% | src/expr/value.cpp |
6 |
65.82 |
-0.47% | src/expr/term_manager.cpp |
8 |
0.98 |
-0.08% | src/smt/generic/generic_solver.cpp |
11 |
70.4 |
0.11% | src/expr/term_manager_internal.cpp |
24 |
24.88 |
-0.65% | src/expr/term.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
70.4 |
0.11% | src/expr/term_manager_internal.cpp |
2 |
24.88 |
-0.65% | src/expr/term.cpp |
2 |
0.98 |
-0.08% | src/smt/generic/generic_solver.cpp |
231 |
65.11 |
2.61% | src/parser/mcmt/mcmtLexer.c |
313 |
67.81 |
2.31% | src/parser/mcmt/mcmtParser.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 273.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 248 |
64.24 |
Travis Job 273.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|