LouvainVerificationLab / pynusmv / 24 / 1
84%
master: 84%

DEFAULT BRANCH: master
Ran
Files 28
Run time 1s
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
coverage: 64.427% (-0.03%) from 64.458%
24.1

push

travis-ci

xgillard 
small refactoring
(attempt to fix the errors I wasn't sure about)

3673 of 5701 relevant lines covered (64.43%)

0.64 hits per line

Source Files on job 24.1