fkutzner
/
JamSAT
97%
master: 96%
master: 96%
|
Repo Added
|
Files
58
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
exp_optimized_redundancycheck
branch: exp_optimized_redundancycheck
CHANGE BRANCH
x
-
exp_optimized_redundancycheck
-
boost_link_fix
-
current
-
exp_ecoprop
-
exp_heap
-
exp_opt_wsort
-
exp_simplebuild
-
ft_ci_cxx14
-
ft_constness
-
ft_minisat
-
ft_shared
-
ft_win32
-
master
-
rel-0.1.0
-
rel-0.1.x-bugfixes
-
rel-0.2.0
-
rel-0.2.x-bugfixes
CHANGE BRANCH
x
-
exp_optimized_redundancycheck
- boost_link_fix
- current
- exp_ecoprop
- exp_heap
- exp_opt_wsort
- exp_simplebuild
- ft_ci_cxx14
- ft_constness
- ft_minisat
- ft_shared
- ft_win32
- master
- rel-0.1.0
- rel-0.1.x-bugfixes
- rel-0.2.0
- rel-0.2.x-bugfixes
push
travis-ci
1904 of 1958 relevant lines covered (97.24%)
300609.46 hits per line
Relevant lines Covered
1958
RELEVANT LINES
1904
COVERED LINES
300609.46
HITS PER LINE
Source Files on exp_optimized_redundancycheck
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 188 | exp_optimized_redundancycheck | optimize literal redundancy check | push |  fkutzner |
travis-ci | pending completion |