LearnLib / learnlib
95%
develop: 95%

LAST BUILD BRANCH: stable-hypotheses
DEFAULT BRANCH: develop
Repo Added
Files 586
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: 94.926% (+0.01%) from 94.914%
20242753747

Pull #156

github

web-flow 
Merge 3b815a288 into f27846552
Pull Request #156: Add equivalence oracles based on k-way state/transition coverage

36 of 36 new or added lines in 2 files covered. (100.0%)

14294 of 15058 relevant lines covered (94.93%)

1.73 hits per line

Relevant lines Covered
15058 RELEVANT LINES 14294 COVERED LINES
1.73 HITS PER LINE
Source Files on kway

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20242753747 kway Merge 3b815a288 into f27846552 Pull #156 web-flow github
94.93
See All Builds (309)