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

LearnLib / learnlib
94%

Build:
DEFAULT BRANCH: develop
Repo Added 15 Sep 2017 02:18PM CUT
Files 524
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/org.testng-testng-7.5.1
  • feat/lsharp
  • master
  • refs/tags/learnlib-0.17.0
  • refs/tags/learnlib-0.18.0
  • release
  • update-dependencies

06 Feb 2025 03:00PM CUT coverage: 94.368%. Remained the same
13181815301

push

github

mtf90
[maven-release-plugin] prepare for next development iteration

12484 of 13229 relevant lines covered (94.37%)

1.72 hits per line

Relevant lines Covered
Build:
Build:
13229 RELEVANT LINES 12484 COVERED LINES
1.72 HITS PER LINE
Source Files on develop
  • Tree
  • List 524
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Loading...
Coverage∆FileLinesRelevantCoveredMissedHits/Line
0.0
...in/java/de/learnlib/driver/ExecutableInputSUL.java52 6 0 6 0.0
0.0
...er/statistic/learner/RefinementCounterLearner.java116 12 0 12 0.0
0.0
api/src/main/java/de/learnlib/sul/SUL.java87 2 0 2 0.0
0.0
...rc/main/java/de/learnlib/oracle/QueryAnswerer.java40 2 0 2 0.0
0.0
...ture/observationtable/MutableObservationTable.java97 1 0 1 0.0
0.0
...i/src/main/java/de/learnlib/sul/ObservableSUL.java63 2 0 2 0.0
0.0
...algorithm/ttt/base/HypothesisChangedException.java23 1 0 1 0.0
0.0
.../main/java/de/learnlib/sul/StateLocalInputSUL.java49 1 0 1 0.0
0.0
.../learnlib/exception/BatchInterruptedException.java34 2 0 2 0.0
0.0
...va/de/learnlib/oracle/membership/MappedOracle.java59 9 0 9 0.0
Showing 1 to 10 of 524 entries
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 53
  • Next
  • ►
    96.5
    algorithms/
  • ►
    81.7
    api/
  • ►
    89.89
    commons/
  • ►
    83.13
    drivers/
  • ►
    98.73
    examples/
  • ►
    94.92
    filters/
  • ►
    90.05
    oracles/

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
13181815301 develop [maven-release-plugin] prepare for next development iteration push 06 Feb 2025 03:36PM CUT mtf90 github
94.37
13181071769 develop partially revert e368a91 TTTLmabda does not seem to require exhaustive analysis for consistency reasons push 06 Feb 2025 02:52PM CUT mtf90 github
94.37
13166566074 develop test api conformance when provided with a non-counterexample, refineHypothesis should return false and not throw an exception. push 05 Feb 2025 09:31PM CUT mtf90 github
94.37
13115659999 develop improve parallelizability of TTT closes #140 (the original issue was not a bug but this one came up in the resulting disucssion) push 03 Feb 2025 02:45PM CUT mtf90 github
94.32
13034511199 develop spmm: improve assertions push 29 Jan 2025 03:40PM CUT mtf90 github
94.3
12999975393 develop L# Algorithm (#141) * feat: lsharp * fix: LSoracle Rule3 SepSeq mode * fix: tidy pom * chore: tidy imports * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: spotbugs * chore: pmd * chor... push 27 Jan 2025 11:25PM CUT web-flow github
94.39
12873128466 develop parallelism: streamline builder interfaces push 20 Jan 2025 05:49PM CUT mtf90 github
94.29
12812853818 develop cleanups push 16 Jan 2025 04:27PM CUT mtf90 github
94.23
12771646007 develop adjust to AutomataLib refactorings push 14 Jan 2025 04:29PM CUT mtf90 github
94.2
12755372168 develop cleanup some ADT code push 13 Jan 2025 08:39PM CUT mtf90 github
94.2
See All Builds (286)
  • 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