LearnLib / automatalib / 19967145117
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 753
Run time 3min
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: 92.796% (+0.03%) from 92.771%
19967145117

push

github

mtf90 
lassos: cleanup type information

5 of 5 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

17210 of 18546 relevant lines covered (92.8%)

1.72 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
84.21
 0.28% core/src/main/java/net/automatalib/modelchecking/impl/AbstractLasso.java
Jobs
ID Job ID Ran Files Coverage
1 19967145117.1 753
92.8
Source Files on build 19967145117