LouvainVerificationLab / pynusmv / 56
84%

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

Pull #3

travis-ci

web-flow 
Fixed a typo, and the fact that the union wait was removed in cudd 2.5.0 and it seems to be for BSD compat
Pull Request #3: Fixed a typo in one of the patch files and removed union wait.

4977 of 5906 relevant lines covered (84.27%)

2.53 hits per line

Jobs
ID Job ID Ran Files Coverage
1 56.1 0
84.27
 Travis Job 56.1
2 56.2 0
84.27
 Travis Job 56.2
3 56.3 0
84.27
 Travis Job 56.3
Source Files on build 56
Detailed source file information is not available for this build.