LearnLib / automatalib
93%
develop: 93%

LAST BUILD BRANCH: semantics
DEFAULT BRANCH: develop
Repo Added
Files 765
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 semantics
branch: semantics
CHANGE BRANCH
x

coverage: 92.876% (-0.1%) from 93.007%
28013097648

Pull #103

github

web-flow 
Merge 1553bac46 into 87b9d660b
Pull Request #103: Distinguish between structural and semantic interpretations of automata

268 of 313 new or added lines in 46 files covered. (85.62%)

5 existing lines in 2 files now uncovered.

17560 of 18907 relevant lines covered (92.88%)

1.72 hits per line

Relevant lines Covered
18907 RELEVANT LINES 17560 COVERED LINES
1.72 HITS PER LINE
Source Files on semantics

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
28013097648 semantics Merge 1553bac46 into 87b9d660b Pull #103 web-flow github
92.88
See All Builds (475)