LearnLib / automatalib / 6311320183
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 729
Run time 11s
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: 87.919%. Remained the same
6311320183

push

github

mtf90 
refactor 'vpda' acronym to 'vpa' acronym

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

14 of 14 new or added lines in 7 files covered. (100.0%)

15464 of 17589 relevant lines covered (87.92%)

1.62 hits per line

Jobs
ID Job ID Ran Files Coverage
1 6311320183.1 0
87.92
Source Files on build 6311320183
Detailed source file information is not available for this build.