SRI-CSL / sally / 510
38%
master: 36%

LAST BUILD BRANCH: nra
DEFAULT BRANCH: master
Ran
Jobs 1
Files 1466
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
510

Pull #63

travis-ci

web-flow 
cleanup in .travis.yml
Pull Request #63: Update to OpenSMT interface

1 of 1 new or added line in 1 file covered. (100.0%)

5297 of 13985 relevant lines covered (37.88%)

13295.77 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
0.56
 -0.0% src/smt/opensmt2/opensmt2_internal.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
48.1
 0.73% src/engine/pdkind/reachability.cpp
1
76.6
 0.51% src/system/transition_system.cpp
1
84.81
 0.04% src/expr/term_manager_internal.h
1
0.0
 0.0% src/smt/incremental_wrapper.cpp
1
43.41
 0.39% src/expr/model.cpp
1
41.38
 -0.73% src/parser/antlr_parser.h
1
60.18
 -0.54% src/system/context.cpp
1
97.67
 -1.15% src/expr/term_ops.cpp
2
0.56
 -0.0% src/smt/opensmt2/opensmt2_internal.cpp
2
83.92
 2.46% src/system/trace_helper.cpp
2
1.04
 -0.02% src/smt/generic/generic_solver.cpp
2
73.68
 -0.73% src/sally.cpp
2
0.0
 0.0% src/smt/opensmt2/opensmt2_internal.h
2
47.56
 -1.19% src/smt/yices2/yices2_term_cache.cpp
2
0.0
 0.0% src/parser/sal/sal_state.h
3
53.62
 -2.44% src/system/state_type.cpp
4
34.03
 -0.01% src/expr/term.cpp
4
62.22
 -2.64% src/utils/symbol_table.h
6
49.54
 -0.18% src/expr/type_computation_visitor.cpp
6
0.79
 -0.04% src/parser/sal/sal_module.cpp
8
0.3
 -0.01% src/parser/sal/sal_state.cpp
9
0.0
 0.0% src/smt/smt2_output_wrapper.cpp
10
61.64
 -8.36% src/engine/pdkind/cex_manager.cpp
10
63.64
 -1.26% src/expr/term_manager_internal.cpp
17
69.54
 -1.27% src/smt/yices2/yices2_internal.cpp
21
51.51
 -2.17% src/expr/term_manager.cpp
24
25.14
 -1.29% src/engine/pdkind/solvers.cpp
42
0.57
 -0.18% src/engine/translator/translator.cpp
Jobs
ID Job ID Ran Files Coverage
3 510.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) 1466
37.88
 Travis Job 510.3
Source Files on build 510