SRI-CSL
/
sally
/
508
40%
master: 36%
master: 36%
|
Ran
|
Jobs
1
|
Files
1239
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
travis-ci
web-flow549 of 549 new or added lines in 10 files covered. (100.0%)
5541 of 13970 relevant lines covered (39.66%)
13387.22 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 5 |
83.33 |
src/smt/dreal/dreal.cpp | |
| 37 |
44.78 |
src/smt/dreal/dreal_term_cache.cpp | |
| 73 |
56.8 |
src/smt/dreal/dreal_term.cpp | |
| 78 |
67.09 |
src/smt/dreal/dreal_internal.cpp |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
76.09 |
-0.51% | src/system/transition_system.cpp |
| 1 |
0.0 |
0.0% | src/parser/sal/sal_context.h |
| 1 |
53.81 |
2.3% | src/expr/term_manager.cpp |
| 1 |
26.67 |
26.67% | src/expr/term_map.h |
| 1 |
23.53 |
-0.47% | src/expr/integer.cpp |
| 1 |
83.33 |
-16.67% | src/expr/integer.h |
| 1 |
65.79 |
3.57% | src/utils/symbol_table.h |
| 2 |
66.81 |
-0.14% | src/parser/mcmt/mcmtParser.c |
| 2 |
81.45 |
-2.46% | src/system/trace_helper.cpp |
| 2 |
0.0 |
0.0% | src/parser/sal/salLexer.c |
| 2 |
43.02 |
-0.39% | src/expr/model.cpp |
| 6 |
26.42 |
1.29% | src/engine/pdkind/solvers.cpp |
| 20 |
0.0 |
0.0% | src/parser/sal/salParser.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 3 | 508.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1239 |
39.66 |
Travis Job 508.3 |
