lsrcz / mini-prover
58%
master: 58%

LAST BUILD BRANCH: tactic
DEFAULT BRANCH: master
Repo Added
Files 36
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

LAST BUILD ON BRANCH tactic
branch: tactic
CHANGE BRANCH
x

141

push

travis-ci

Shlw 
shut off verbose mode

3010 of 5225 relevant lines covered (57.61%)

0.58 hits per line

Relevant lines Covered
5225 RELEVANT LINES 3010 COVERED LINES
0.58 HITS PER LINE
Source Files on tactic
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
141 tactic shut off verbose mode push Shlw travis-ci pending completion  
140 tactic modify tex push lsrcz travis-ci pending completion  
139 tactic add some definitions push lsrcz travis-ci pending completion  
138 tactic Merge branch 'tactic' of github.com:lsrcz/mini-prover into tactic push Shlw travis-ci pending completion  
137 tactic add equivalence push lsrcz travis-ci pending completion  
136 tactic change colors in thanks page push Shlw travis-ci pending completion  
135 tactic update pre push Shlw travis-ci pending completion  
134 tactic Merge branch 'tactic' of https://github.com/lsrcz/mini-prover into tactic push lsrcz travis-ci pending completion  
132 tactic faster exec push lsrcz travis-ci pending completion  
133 tactic Merge branch 'tactic' of github.com:lsrcz/mini-prover into tactic push Shlw travis-ci pending completion  
See All Builds (146)