LearnLib / automatalib
93%
develop: 93%

LAST BUILD BRANCH: mata
DEFAULT BRANCH: develop
Repo Added
Files 753
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 develop-local-timer-mealy
branch: develop-local-timer-mealy
CHANGE BRANCH
x

coverage: 92.771% (+0.2%) from 92.565%
19853794526

Pull #96

github

web-flow 
Merge cbacc09aa into f5349326b
Pull Request #96: Code for Mealy machines with local timers.

649 of 661 new or added lines in 21 files covered. (98.18%)

17146 of 18482 relevant lines covered (92.77%)

1.72 hits per line

Relevant lines Covered
18482 RELEVANT LINES 17146 COVERED LINES
1.72 HITS PER LINE
Source Files on develop-local-timer-mealy

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19853794526 develop-local-timer-mealy Merge cbacc09aa into f5349326b Pull #96 web-flow github
92.77
See All Builds (454)