LouvainVerificationLab / pynusmv / 27
84%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 28
Run time 4min
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
27

push

travis-ci

xgillard 
idem (wrongfully reported cyclic import in build scripts)

3673 of 5701 relevant lines covered (64.43%)

1.93 hits per line

Jobs
ID Job ID Ran Files Coverage
1 27.1 0
64.43
 Travis Job 27.1
2 27.2 0
64.43
 Travis Job 27.2
3 27.3 0
64.43
 Travis Job 27.3
Source Files on build 27
Detailed source file information is not available for this build.