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

LearnLib / automatalib
92%
develop: 92%

Build:
Build:
LAST BUILD BRANCH: addlib-4.0
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 728
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
  • develop
  • master
  • min-overhaul
  • refs/tags/automatalib-0.11.0
  • refs/tags/automatalib-0.12.0
  • refs/tags/automatalib-0.12.1
  • release
  • 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
  • Tree
  • List 729
  • Changed 20
  • Source Changed 19
  • Coverage Changed 7
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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 (446)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc