LearnLib / automatalib / 131 / 4
92%
develop: 93%

LAST BUILD BRANCH: kway
DEFAULT BRANCH: develop
Ran
Files 443
Run time 21s
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: 66.18% (-0.1%) from 66.292%
131.4

Pull #28

travis-ci

web-flow 
fix several small issues adressed in PR review
Pull Request #28: Improvements to model checking.

8982 of 13572 relevant lines covered (66.18%)

1.22 hits per line

Source Files on job 131.4