LouvainVerificationLab / pynusmv
64%
master: 84%

LAST BUILD BRANCH: 1.0rc8
DEFAULT BRANCH: master
Repo Added
Files 28
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 1.0rc7
branch: 1.0rc7
CHANGE BRANCH
x

36

push

travis-ci

xgillard 
RC7

3672 of 5700 relevant lines covered (64.42%)

1.93 hits per line

Relevant lines Covered
5700 RELEVANT LINES 3672 COVERED LINES
1.93 HITS PER LINE
Source Files on 1.0rc7
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
36 1.0rc7 RC7 push xgillard travis-ci pending completion  
See All Builds (39)