1
95%
develop: 95%

Ran 02 Jul 2026 11:11AM UTC

Files 582

Run time 16s

Badge

Embed ▾

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

Job # 28583003399.1

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

14682 of 15434 relevant lines covered (95.13%)

1.74 hits per line

LearnLib / learnlib / 28583003399 / 1
95%
develop: 95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 28583003399.1

LearnLib / learnlib / 28583003399 / 1 95% develop: 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 28583003399.1

LearnLib / learnlib / 28583003399 / 1
95%
develop: 95%

README BADGES
x