1
93%
develop: 93%

Ran 16 Dec 2025 01:09PM UTC

Files 760

Run time 29s

Badge

Embed ▾

Committed 15 Dec 2025 06:12PM UTC coverage: 92.934% (+0.1%) from 92.834%

Job # 20242707685.1

Build Type

push

github

Committed by

web-flow

Commit Message

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

Run Details

17439 of 18765 relevant lines covered (92.93%)

1.72 hits per line

LearnLib / automatalib / 20242707685 / 1
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 20242707685.1

LearnLib / automatalib / 20242707685 / 1 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 20242707685.1

LearnLib / automatalib / 20242707685 / 1
93%
develop: 93%

README BADGES
x