Ran
|
Jobs
1
|
Files
1193
|
Run time
3min
|
Badge
README BADGES
|
push
travis-ci
512 of 512 new or added lines in 32 files covered. (100.0%)
5174 of 13508 relevant lines covered (38.3%)
13700.9 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
50.0 |
src/command/command.h | |
1 |
92.73 |
src/engine/kind/kind_engine.cpp | |
1 |
0.3 |
src/parser/sal/sal_state.cpp | |
2 |
84.62 |
src/command/assume.cpp | |
4 |
73.33 |
src/command/declare_state_type.cpp | |
4 |
73.33 |
src/command/define_states.cpp | |
4 |
73.33 |
src/command/define_transition.cpp | |
4 |
73.33 |
src/command/define_transition_system.cpp | |
6 |
0.0 |
src/parser/aiger/aiger.cpp | |
7 |
50.0 |
src/smt/generic/generic_solver_info.h | |
8 |
69.23 |
src/command/query.cpp | |
8 |
48.1 |
src/engine/pdkind/reachability.cpp | |
9 |
62.5 |
src/command/sequence.cpp | |
10 |
25.14 |
src/engine/pdkind/solvers.cpp | |
10 |
67.18 |
src/smt/yices2/yices2_internal.cpp | |
11 |
76.1 |
src/engine/pdkind/pdkind_engine.cpp | |
12 |
0.57 |
src/engine/translator/translator.cpp | |
13 |
23.53 |
src/command/command.cpp | |
16 |
83.92 |
src/system/trace_helper.cpp | |
28 |
61.64 |
src/engine/pdkind/cex_manager.cpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 452.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1193 |
38.3 |
Travis Job 452.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|