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

LearnLib / automatalib
92%

Build:
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 develop
branch: develop
CHANGE BRANCH
x
Reset
  • develop
  • addlib-4.0
  • java11
  • 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

09 Sep 2025 10:01AM UTC coverage: 92.206% (+0.001%) from 92.205%
17579005088

push

github

mtf90
incremental: improve error messages

10 of 10 new or added lines in 3 files covered. (100.0%)

16599 of 18002 relevant lines covered (92.21%)

1.71 hits per line

Relevant lines Covered
Build:
Build:
18002 RELEVANT LINES 16599 COVERED LINES
1.71 HITS PER LINE
Source Files on develop
  • Tree
  • List 728
  • Changed 4
  • Source Changed 4
  • Coverage Changed 4
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17579005088 develop incremental: improve error messages push 09 Sep 2025 10:19AM UTC mtf90 github
92.21
16814966032 develop Bump ADD-Lib to version 4.0 (#94) * bump add-lib version * disable addlib documentation for now * switch to stable release push 07 Aug 2025 08:43PM UTC web-flow github
92.21
16696482329 develop try alternative path computation push 02 Aug 2025 06:40PM UTC mtf90 github
92.16
16053467743 develop cleanups push 03 Jul 2025 02:58PM UTC mtf90 github
92.11
15559884927 develop ci: use correct variables push 10 Jun 2025 01:01PM UTC mtf90 github
92.12
15559314455 develop migrate to Sonatype Central Portal push 10 Jun 2025 12:36PM UTC mtf90 github
92.12
15186415914 develop Bump minimal Java version to 11 (#90) * initial refactoring * update doc * cleanups * simplify CF config * fix errors when building javadoc jars * remove IOUtil#copy * further cleanups * typo push 22 May 2025 12:39PM UTC web-flow github
92.12
15040365125 develop dot: fix parsing of IDs closes #89 push 15 May 2025 08:48AM UTC mtf90 github
92.06
13815628111 develop cleanup redundant type variable definitions push 12 Mar 2025 04:02PM UTC mtf90 github
92.06
13792039126 develop [maven-release-plugin] prepare for next development iteration push 11 Mar 2025 03:50PM UTC mtf90 github
92.06
See All Builds (447)
  • 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