LearnLib / automatalib
93%
develop: 93%

LAST BUILD BRANCH: kway
DEFAULT BRANCH: develop
Repo Added
Files 760
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

LAST BUILD ON BRANCH kway
branch: kway
CHANGE BRANCH
x

coverage: 92.934% (+0.1%) from 92.834%
20242050438

Pull #99

github

web-flow 
Merge 68218e55f into 4ed436ef7
Pull Request #99: Add conformance test generators based on k-way state/transition coverage

289 of 291 new or added lines in 10 files covered. (99.31%)

17439 of 18765 relevant lines covered (92.93%)

1.72 hits per line

Relevant lines Covered
18765 RELEVANT LINES 17439 COVERED LINES
1.72 HITS PER LINE
Source Files on kway

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20242050438 kway Merge 68218e55f into 4ed436ef7 Pull #99 web-flow github
92.93
See All Builds (459)