20272600261
95%

Ran 16 Dec 2025 03:28PM UTC

Jobs 1

Files 586

Run time 2min

Badge

Embed ▾

Committed 16 Dec 2025 03:06PM UTC coverage: 94.931% (+0.005%) from 94.926%

Build # 20272600261

Build Type

push

github

Committed by

web-flow

Commit Message

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

* simplify internal storage
* explicit nullability declarations

* split the learner-it-support classes in distinct packages

* fix code-analysis issues

* update CHANGELOG

Run Details

27 of 27 new or added lines in 7 files covered. (100.0%)

14309 of 15073 relevant lines covered (94.93%)

1.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	20272600261.1	16 Dec 2025 03:28PM UTC	586	94.93

LearnLib / learnlib / 20272600261
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 20272600261

LearnLib / learnlib / 20272600261 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 20272600261

LearnLib / learnlib / 20272600261
95%

README BADGES
x