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

LearnLib / automatalib / 20242050438
93%
develop: 93%

Build:
Build:
LAST BUILD BRANCH: kway
DEFAULT BRANCH: develop
Ran 15 Dec 2025 06:10PM UTC
Jobs 1
Files 760
Run time 2min
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

15 Dec 2025 05:50PM UTC coverage: 92.934% (+0.1%) from 92.834%
20242050438

Pull #99

github

web-flow
Merge 68218e55f into 4ed436ef7
Pull Request #99: Add conformance test generators based on k-way state/transition coverage

289 of 291 new or added lines in 10 files covered. (99.31%)

17439 of 18765 relevant lines covered (92.93%)

1.72 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
99.22
util/src/main/java/net/automatalib/util/automaton/conformance/KWayTransitionCoverTestsIterator.java
1
96.09
-0.03% util/src/main/java/net/automatalib/util/automaton/cover/Covers.java
Jobs
ID Job ID Ran Files Coverage
1 20242050438.1 15 Dec 2025 06:10PM UTC 760
92.93
Source Files on build 20242050438
  • Tree
  • List 760
  • Changed 8
  • Source Changed 7
  • Coverage Changed 7
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Github Actions Build #20242050438
  • Pull Request #99
  • PR Base - develop (#20242010772)
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

© 2026 Coveralls, Inc