• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

LearnLib / automatalib
92%
develop: 93%

Build:
Build:
LAST BUILD BRANCH: master
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 776
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 java11
branch: java11
CHANGE BRANCH
x
Reset
  • java11
  • addlib-4.0
  • cf-assert-rework
  • cfmps-parser
  • develop
  • develop-local-timer-mealy
  • java25
  • kway
  • macos-intel
  • master
  • mata
  • min-overhaul
  • refs/tags/automatalib-0.11.0
  • refs/tags/automatalib-0.12.0
  • refs/tags/automatalib-0.12.1
  • refs/tags/automatalib-13.0.0
  • release
  • semantics
  • serialization-overhaul
  • update-dependencies

22 May 2025 11:10AM UTC coverage: 92.115% (+0.06%) from 92.058%
15185022195

Pull #90

github

web-flow
Merge 362da4acd into 407dc29eb
Pull Request #90: Bump minimal Java version to 11

28 of 28 new or added lines in 19 files covered. (100.0%)

16589 of 18009 relevant lines covered (92.12%)

1.71 hits per line

Relevant lines Covered
Build:
Build:
18009 RELEVANT LINES 16589 COVERED LINES
1.71 HITS PER LINE
Source Files on java11
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
15185022195 java11 Merge 362da4acd into 407dc29eb Pull #90 22 May 2025 11:28AM UTC web-flow github
92.12
15185018476 java11 Merge 7b1e64043 into 407dc29eb Pull #90 22 May 2025 11:24AM UTC web-flow github
92.12
See All Builds (500)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE TRIAL · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc