LearnLib / learnlib
94%

DEFAULT BRANCH: develop
Repo Added
Files 530
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

coverage: 94.289% (-0.09%) from 94.383%
16696694729

push

github

mtf90 
add CLI membership oracles

closes #149

111 of 131 new or added lines in 4 files covered. (84.73%)

12630 of 13395 relevant lines covered (94.29%)

1.72 hits per line

Relevant lines Covered
13395 RELEVANT LINES 12630 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
16696694729 develop add CLI membership oracles closes #149 push mtf90 github
94.29
16655640779 develop equivalence-oracles: add EarlyExitEQOracle push mtf90 github
94.38
15560723653 develop migrate to Sonatype Central Portal push 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 web-flow github
94.37
15115239249 develop learner-it-support: improve nullability declarations push mtf90 github
94.37
13181815301 develop [maven-release-plugin] prepare for next development iteration push mtf90 github
94.37
13181071769 develop partially revert e368a91 TTTLmabda does not seem to require exhaustive analysis for consistency reasons push 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 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 mtf90 github
94.32
13034511199 develop spmm: improve assertions push mtf90 github
94.3
See All Builds (293)