LouvainVerificationLab / pynusmv / 20
84%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 28
Run time 34s
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
20

push

travis-ci

xgillard 
Coverage + skip test that calls NuSMV buggy api (dump_gdl)

3664 of 5691 relevant lines covered (64.38%)

1.93 hits per line

Jobs
ID Job ID Ran Files Coverage
1 20.1 0
64.38
 Travis Job 20.1
2 20.2 0
64.38
 Travis Job 20.2
3 20.3 0
64.38
 Travis Job 20.3
Source Files on build 20
Detailed source file information is not available for this build.