lsrcz / mini-prover
92%
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 parser
branch: parser
CHANGE BRANCH
x

18

push

travis-ci

lsrcz 
refined ADT, add term building

294 of 318 relevant lines covered (92.45%)

0.92 hits per line

Relevant lines Covered
318 RELEVANT LINES 294 COVERED LINES
0.92 HITS PER LINE
Source Files on parser
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18 parser refined ADT, add term building push lsrcz travis-ci pending completion  
17 parser add dependent match push lsrcz travis-ci pending completion  
14 parser add context and subst push lsrcz travis-ci pending completion  
13 parser add field:name to TmRel for future pretty printing push lsrcz travis-ci pending completion  
12 parser add commands, shifting and substitution push lsrcz travis-ci pending completion  
10 parser add term parser push lsrcz travis-ci pending completion  
9 parser Update README.md push web-flow travis-ci pending completion  
7 parser add term parser push lsrcz travis-ci pending completion  
See All Builds (146)