STAMP-project / Ex2Amplifier
94%
master: 87%

LAST BUILD BRANCH: mv-non-static
DEFAULT BRANCH: master
Repo Added
Files 11
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 catg
branch: catg
CHANGE BRANCH
x

38

push

travis-ci

danglotb 
grant permission to execute cvc4

131 of 140 relevant lines covered (93.57%)

0.94 hits per line

Relevant lines Covered
140 RELEVANT LINES 131 COVERED LINES
0.94 HITS PER LINE
Source Files on catg
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
38 catg grant permission to execute cvc4 push danglotb travis-ci pending completion  
See All Builds (83)