LearnLib / learnlib / 4872327036
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 446
Run time 44s
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
4872327036

push

github

Markus Frohme 
bump license headers

welcome to 2023, finally.

10316 of 11274 relevant lines covered (91.5%)

1.65 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4872327036.1 0
91.5
Source Files on build 4872327036
Detailed source file information is not available for this build.