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

LearnLib / automatalib / 20242707685
93%

Build:
DEFAULT BRANCH: develop
Ran 16 Dec 2025 01:09PM 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 06:12PM UTC coverage: 92.934% (+0.1%) from 92.834%
20242707685

push

github

web-flow
Add conformance test generators based on k-way state/transition coverage (#99)

* initial work on kWay tests

* some more polishing

added tests that still fail

* add missing functionality + consolidations

* finalizing things

bugfixes, documentation, performance improvements

* reorder attributes

* fix logic flaw and support partial automata

* suggest to handle corner-cases externally

* cleanups

* add documentation
* add tests
* improve performance
* declutter type variables

* do not use special characters in documentation

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 20242707685.1 16 Dec 2025 01:09PM UTC 760
92.93
Source Files on build 20242707685
  • 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 #20242707685
  • b8f6e96d on github
  • Prev Build on 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

© 2025 Coveralls, Inc