LearnLib / learnlib

95%

develop: 95%

LAST BUILD ON BRANCH growing-sparse

branch: growing-sparse

CHANGE BRANCH

x

Reset

• growing-sparse
• dependabot/maven/ch.qos.logback-logback-core-1.2.9
• dependabot/maven/ch.qos.logback-logback-core-1.5.13
• dependabot/maven/ch.qos.logback-logback-core-1.5.19
• dependabot/maven/ch.qos.logback-logback-core-1.5.25
• dependabot/maven/ch.qos.logback-logback-core-1.5.33
• dependabot/maven/ch.qos.logback-logback-core-1.5.35
• dependabot/maven/org.testng-testng-7.5.1
• develop
• feat/lsharp
• java11
• java25
• kway
• lambda-resume
• learning-algorithm-contracts
• local_timer_mealy
• master
• refs/tags/learnlib-0.17.0
• refs/tags/learnlib-0.18.0
• release
• sparse
• stable-hypotheses
• update-dependencies

Build # 28579589692

Build Type

Pull #160

github

Committed by web-flow

Commit Message

Merge 2719fbf5e into e04108c04

Pull Request Pull Request #160: Make L^s support growing alphabets

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