Ran
|
Jobs
1
|
Files
248
|
Run time
59s
|
Badge
README BADGES
|
travis-ci
151 of 151 new or added lines in 13 files covered. (100.0%)
8435 of 13215 relevant lines covered (63.83%)
15464.91 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
48.75 |
-0.17% | src/expr/model.cpp |
1 |
42.25 |
5.33% | src/parser/antlr_parser.h |
2 |
67.16 |
2.32% | src/expr/term_manager_internal.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 |
80.36 |
-4.43% | src/parser/mcmt/mcmt_state.cpp |
8 |
0.98 |
-0.08% | src/smt/generic/generic_solver.cpp |
14 |
69.19 |
-1.1% | src/expr/term_manager_internal.cpp |
17 |
24.94 |
-0.59% | src/expr/term.cpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
0.98 |
-0.08% | src/smt/generic/generic_solver.cpp |
5 |
67.16 |
2.32% | src/expr/term_manager_internal.h |
58 |
69.19 |
-1.1% | src/expr/term_manager_internal.cpp |
130 |
24.94 |
-0.59% | src/expr/term.cpp |
239 |
63.5 |
1.0% | src/parser/mcmt/mcmtLexer.c |
340 |
65.19 |
-0.32% | src/parser/mcmt/mcmtParser.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 259.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 248 |
63.83 |
Travis Job 259.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|