LearnLib / automatalib / 6383758444
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 710
Run time 16s
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: 88.005% (+0.09%) from 87.919%
6383758444

push

github

mtf90 
cleanup modal transition system code

remove/migrate code revolving around modal contracts and membership modal contracts since this code has only been used by the (private) generator of the RERS challenge.

10 of 10 new or added lines in 3 files covered. (100.0%)

15158 of 17224 relevant lines covered (88.01%)

1.62 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6383758444.1 0
88.01
Source Files on build 6383758444
Detailed source file information is not available for this build.