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

LearnLib / learnlib
95%

Build:
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM UTC
Files 592
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: develop
CHANGE BRANCH
x
Reset
  • develop
  • 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
  • feat/lsharp
  • java11
  • java25
  • local_timer_mealy
  • master
  • refs/tags/learnlib-0.17.0
  • refs/tags/learnlib-0.18.0
  • release
  • sparse
  • update-dependencies

13 Dec 2025 10:51PM UTC coverage: 94.914% (+0.4%) from 94.471%
20199022329

push

github

web-flow
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 observation tables that are defined in the learner module.

* Started with integration of MMLT.

* Extended EquivalenceOracle.java with LocalTimerMealyEquivalenceOracle.

* Created module for symbol filters; added tests for counterexample handling for MMLT learner.

* Functions for printing stats as JSON/YAML.

* Renamed statsContainer; exporting mmlt caches.

* Included symbol-filters module in dependency management.

* Renamed fast cache to cache for MMLTs; added integration tests for MMLTs; allow access to stats during testing of learner.

* Added more test models for the MMLT learner.

* Added more test models for the MMLT learner.

* Added cache consistency test for MMLT learning.

* Removed location type parameter from LocalTimerMealyEquivalenceOracle.

* Cache for MMLTs now inherits LearningCache

* Multiple EQ tests for MMLTs can now respect the provided list of inputs for counterexamples.

* Added tests for the cache; cleaned-up some files.

* Added tests for the MMLT cache consistency test.

* Made the MMLT SUL an interface with default methods.

* Made symbol filters more independent from MMLTs

* StatisticsSymbolFilter has stats container as constructor parameter.

* Moved several MMLT examples to test-support.

* Added an example for learning MMLTs; added module info for symbol filter module.

* Added an example for learning MMLTs; added module info for symbol filter module.

* Added more descriptions for included MMLT models

* More info on model params

* Updated reset search oracle to check if it can return a counterexample with the provided inputs.

* adjust to AutomataLib refactorings

* adjust to AutomataLib refactorings

* adjust to AutomataLib refactorings

* Using correct function to render MMLT i... (continued)

1823 of 1873 new or added lines in 77 files covered. (97.33%)

1 existing line in 1 file now uncovered.

14258 of 15022 relevant lines covered (94.91%)

1.73 hits per line

Relevant lines Covered
Build:
Build:
15022 RELEVANT LINES 14258 COVERED LINES
1.73 HITS PER LINE
Source Files on develop
  • Tree
  • List 584
  • Changed 28
  • Source Changed 24
  • Coverage Changed 27
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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
19995166277 develop adjust to AutomataLib refactorings push 06 Dec 2025 10:50PM UTC mtf90 github
94.47
19568292192 develop Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 (#154) Bumps [ch.qos.logback:logback-core](https://github.com/qos-ch/logback) from 1.5.15 to 1.5.19. - [Release notes](https://github.com/qos-ch/logback/releases) - [Commits](https://github.c... push 21 Nov 2025 11:17AM UTC web-flow github
94.47
19567340642 develop Bump Java Version to 17/25 (#155) * initial refactorings for Java 25 compatibility spotbugs + pmd-plugin still need new releases that work on Java 25 * update CI config * JDK builds pass updates to the analysis plugins required some adjustmen... push 21 Nov 2025 10:40AM UTC web-flow github
94.47
19131042649 develop vpa: widen required types of oracles push 06 Nov 2025 09:53AM UTC mtf90 github
94.29
16696694729 develop add CLI membership oracles closes #149 push 02 Aug 2025 07:14PM UTC mtf90 github
94.29
16655640779 develop equivalence-oracles: add EarlyExitEQOracle push 31 Jul 2025 05:43PM UTC mtf90 github
94.38
15560723653 develop migrate to Sonatype Central Portal push 10 Jun 2025 01:44PM UTC mtf90 github
94.37
15186410912 develop Bump minimal Java version to 11 (#150) * initial refactoring * more aggressive cleanups at the cost of checkerframework failing * typo push 22 May 2025 12:44PM UTC web-flow github
94.37
15115239249 develop learner-it-support: improve nullability declarations push 19 May 2025 02:31PM UTC mtf90 github
94.37
See All Builds (305)
  • 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

© 2025 Coveralls, Inc