28583003399
95%

Ran 02 Jul 2026 11:11AM UTC

Jobs 1

Files 582

Run time 1min

Badge

Embed ▾

Committed 02 Jul 2026 10:23AM UTC coverage: 95.128% (+0.005%) from 95.123%

Build # 28583003399

Build Type

push

github

Committed by

web-flow

Commit Message

Make L^s support growing alphabets (#160)

* sparse: initial support for growing alphabets

* procedural: include sparse in testing

* aaar: include sparse in testing + cleanup

* fix corner cases in addAlphabetSymbol

Co-authored-by: stateMachinist <stateMachinist@users.noreply.github.com>

---------

Co-authored-by: stateMachinist <stateMachinist@users.noreply.github.com>

Coverage Stats

24 of 24 new or added lines in 1 file covered. (100.0%)

14682 of 15434 relevant lines covered (95.13%)

1.74 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28583003399.1	02 Jul 2026 11:11AM UTC	582	95.13

LearnLib / learnlib / 28583003399
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28583003399

LearnLib / learnlib / 28583003399 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28583003399

LearnLib / learnlib / 28583003399
95%

README BADGES
x