17451k / eventb-to-txt / 45
98%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 6
Run time 9s
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
45

push

travis-ci

17451k 
Fix test_main_invalid_out() on Windows

493 of 501 relevant lines covered (98.4%)

2.95 hits per line

Jobs
ID Job ID Ran Files Coverage
2 45.2 0
98.4
 Travis Job 45.2
3 45.3 0
98.4
 Travis Job 45.3
4 45.4 0
98.41
 Travis Job 45.4
Source Files on build 45
Detailed source file information is not available for this build.