LearnLib/learnlib | Coveralls - Test Coverage History & Statistics

LAST BUILD ON BRANCH develop
branch: SELECT

CHANGE BRANCH
x

No branch selected

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/org.testng-testng-7.5.1

develop

feat/lsharp

java11

java25

kway

local_timer_mealy

master

refs/tags/learnlib-0.17.0

refs/tags/learnlib-0.18.0

release

sparse

stable-hypotheses

update-dependencies

Committed 24 Dec 2025 02:11PM UTC coverage: 95.051% (+0.09%) from 94.965%

Build # 20487913496

Build Type

push

github

Committed by

web-flow

Commit Message

Sparse Learner (#152)

* added sparse learner

* fixed comment

* adjustments for code style

* extended contributor list

* extended test cases

* Revert "extended test cases"

This reverts commit 32953b5fd.

* cleanups

* some nullability augmentations

* more cleanups

* more cleanups

* update README

* update changelog

* add DOIs

* reverted some refactorings and extended comments

* improved documentation

* use Java 17 language features

* ctrl + f

* remove redundant whitespaces

* properly order contributors

* make checkerframework happy

* shortened varnames for readability

* replaced confusing getOrDefault call

* adjust to upstream changes

---------

Co-authored-by: Markus Frohme <markus.frohme@udo.edu>
Co-authored-by: Markus Frohme <mtf90@users.noreply.github.com>

Run Details

242 of 242 new or added lines in 8 files covered. (100.0%)

14557 of 15315 relevant lines covered (95.05%)

1.74 hits per line

Relevant lines Covered

15315 RELEVANT LINES 14557 COVERED LINES

1.74 HITS PER LINE

Source Files on develop

Recent builds

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
20487913496	develop	Sparse Learner (#152) * added sparse learner * fixed comment * adjustments for code style * extended contributor list * extended test cases * Revert "extended test cases" This reverts commit 32953b5fd . * clea...	push	24 Dec 2025 02:32PM UTC	web-flow	github	95.05
20487429341	sparse	Merge 738cb2734 into c01b89001	Pull #152	24 Dec 2025 02:07PM UTC	web-flow	github	95.05
20312261241	develop	parallelism: add tests for adaptive SULs	push	17 Dec 2025 06:14PM UTC	mtf90	github	94.96
20272600261	develop	Add checks for stable hypothesis constructions (#157) * add initial test-infrastructure for detecting unstable hypothesis constructions * typo * fix TTT lambda * fix L* (MMLT) * account for AAAR behavior * further TTT lambda cleanups * simp...	push	16 Dec 2025 03:28PM UTC	web-flow	github	94.93
20271846148	stable-hypotheses	Merge f042d5d97 into 88d7cb1ba	Pull #157	16 Dec 2025 03:04PM UTC	web-flow	github	94.93
20244430024	develop	Add equivalence oracles based on k-way state/transition coverage (#156) * initial work on kWayOracles * cleanups * adjust to AutomataLib + consolidations * adjust to upstream changes * reorder attributes * test the correct oracle * hide som...	push	15 Dec 2025 07:35PM UTC	web-flow	github	94.93
20242753747	kway	Merge 3b815a288 into f27846552	Pull #156	15 Dec 2025 07:04PM UTC	web-flow	github	94.93
20200339813	sparse	Merge b5e0f1eee into f27846552	Pull #152	14 Dec 2025 01:20AM UTC	web-flow	github	95.0
20199500552	sparse	Merge b8d878417 into f27846552	Pull #152	13 Dec 2025 11:57PM UTC	web-flow	github	95.0
20199022329	develop	Implementation for learning MMLTs, new model for collecting statistics (#153) * Made RowImpl public to enable access in custom observation table implementations. * Made several methods of RowImpl public, to enable external access from observatio...	push	13 Dec 2025 11:12PM UTC	web-flow	github	94.91

See All Builds (312)

LearnLib / learnlib
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

CHANGE BRANCH
x

Relevant lines Covered

Source Files on develop

Recent builds

LearnLib / learnlib 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

CHANGE BRANCH x

Relevant lines Covered

Source Files on develop

Recent builds

LearnLib / learnlib
95%

README BADGES
x

CHANGE BRANCH
x