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

LearnLib / automatalib
93%

Build:
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 develop
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • addlib-4.0
  • cf-assert-rework
  • cfmps-parser
  • develop
  • develop-local-timer-mealy
  • java11
  • 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

24 Sep 2026 10:02AM UTC coverage: 93.063% (+0.3%) from 92.746%
35984926067

push

github

mtf90
commons-util: add tests for union-find classes

17359 of 18653 relevant lines covered (93.06%)

1.73 hits per line

Relevant lines Covered
Build:
Build:
18653 RELEVANT LINES 17359 COVERED LINES
1.73 HITS PER LINE
Source Files on develop
  • Tree
  • List 776
  • Changed 5
  • Source Changed 2
  • Coverage Changed 5
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
35984926067 develop commons-util: add tests for union-find classes push 24 Sep 2026 10:21AM UTC mtf90 github
93.06
35936952652 develop incremental: fix computation of separating words The previous (Hopcroft + Karp-based) approach does not allow for ignoring transitions. Therefore, we switch to a unified DFS-based approach. push 24 Sep 2026 12:23AM UTC mtf90 github
92.75
35615042956 develop mata: improve handling of newlines * allow multiple intermediate newlines * do not require a final newline push 21 Sep 2026 04:39PM UTC mtf90 github
92.92
32364051445 develop mata: do not require state type for parsing push 20 Aug 2026 11:44AM UTC mtf90 github
92.92
31702838102 develop remove 'basic' archetype in an effort to reduce publishing usage at sonatype push 13 Aug 2026 01:17PM UTC mtf90 github
92.92
31589334664 develop [maven-release-plugin] prepare for next development iteration push 12 Aug 2026 11:13AM UTC mtf90 github
92.92
31589268450 master [maven-release-plugin] prepare release automatalib-13.0.0 push 12 Aug 2026 11:09AM UTC mtf90 github
92.92
31588089210 release [maven-release-plugin] prepare release automatalib-13.0.0 push 12 Aug 2026 10:59AM UTC mtf90 github
92.92
31588091899 refs/tags/automatalib-13.0.0 [maven-release-plugin] prepare release automatalib-13.0.0 push 12 Aug 2026 10:56AM UTC mtf90 github
92.92
31588094446 release [maven-release-plugin] prepare for next development iteration push 12 Aug 2026 10:50AM UTC mtf90 github
92.92
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