• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

LearnLib / learnlib
95%

Build:
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 594
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

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/ch.qos.logback-logback-core-1.5.25
  • 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

23 Jan 2026 09:27AM UTC coverage: 95.051%. Remained the same
21281258482

push

github

web-flow
Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 (#158)

Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.19 to 1.5.25.
- [Release notes](https://github.com/qos-ch/logback/releases)
- [Commits](https://github.com/qos-ch/logback/compare/v_1.5.19...v_1.5.25)

---
updated-dependencies:
- dependency-name: ch.qos.logback:logback-core
  dependency-version: 1.5.25
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

14557 of 15315 relevant lines covered (95.05%)

1.74 hits per line

Relevant lines Covered
Build:
Build:
15315 RELEVANT LINES 14557 COVERED LINES
1.74 HITS PER LINE
Source Files on develop
  • Tree
  • List 594
  • Changed 594
  • Source Changed 594
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21281258482 develop Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 (#158) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.19 to 1.5.25. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push 23 Jan 2026 09:49AM UTC web-flow github
95.05
21260090237 dependabot/maven/ch.qos.logback-logback-core-1.5.25 Bump ch.qos.logback:logback-core from 1.5.19 to 1.5.25 Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.19 to 1.5.25. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.com/qos-... Pull #158 22 Jan 2026 06:48PM UTC web-flow github
95.05
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
See All Builds (314)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc