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
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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)