LearnLib / learnlib

95%

develop: 95%

LAST BUILD ON BRANCH learning-algorithm-contracts

branch: learning-algorithm-contracts

CHANGE BRANCH

x

Reset

• learning-algorithm-contracts
• 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/ch.qos.logback-logback-core-1.5.33
• dependabot/maven/ch.qos.logback-logback-core-1.5.35
• dependabot/maven/org.testng-testng-7.5.1
• develop
• feat/lsharp
• growing-sparse
• java11
• java25
• kway
• lambda-resume
• local_timer_mealy
• master
• refs/tags/learnlib-0.17.0
• refs/tags/learnlib-0.18.0
• release
• sparse
• stable-hypotheses
• update-dependencies

Build # 28964883329

Build Type

Pull #163

github

Committed by web-flow

Commit Message

Merge 861a570dc into 525b3afa5

Pull Request Pull Request #163: Enforce `LearningAlgorithm` contracts more rigorously

Coverage Stats

87 of 88 new or added lines in 33 files covered. (98.86%)

14724 of 15470 relevant lines covered (95.18%)

1.74 hits per line