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

LearnLib / automatalib
93%
develop: 93%

Build:
Build:
LAST BUILD BRANCH: mata
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
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 java25
branch: java25
CHANGE BRANCH
x
Reset
  • java25
  • addlib-4.0
  • develop
  • develop-local-timer-mealy
  • java11
  • master
  • mata
  • 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

21 Nov 2025 01:27AM UTC coverage: 92.565%. First build
19556867645

Pull #97

github

web-flow
Merge d6a8da3c7 into 02482994f
Pull Request #97: Bump Java Version to 17/25

145 of 153 new or added lines in 51 files covered. (94.77%)

16496 of 17821 relevant lines covered (92.56%)

1.72 hits per line

Relevant lines Covered
Build:
Build:
17821 RELEVANT LINES 16496 COVERED LINES
1.72 HITS PER LINE
Source Files on java25
  • Tree
  • List 728
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19556867645 java25 Merge d6a8da3c7 into 02482994f Pull #97 21 Nov 2025 01:47AM UTC web-flow github
92.56
19554554901 java25 Merge 6a6645488 into 02482994f Pull #97 20 Nov 2025 11:55PM UTC web-flow github
90.11
See All Builds (454)
  • 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