LearnLib / learnlib / 6311332745
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 492
Run time 7s
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.282%. Remained the same
6311332745

push

github

mtf90 
Refactor 'vpda' acronym to 'vpa' acronym

Throughout literature, 'VPA' is the more commonly used abbreviation for visibly push-down automata.

11 of 11 new or added lines in 6 files covered. (100.0%)

11574 of 12542 relevant lines covered (92.28%)

1.67 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6311332745.1 0
92.28
Source Files on build 6311332745
Detailed source file information is not available for this build.