LearnLib / automatalib
93%

DEFAULT BRANCH: develop
Repo Added
Files 753
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: 92.796% (+0.03%) from 92.771%
19967145117

push

github

mtf90 
lassos: cleanup type information

5 of 5 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

17210 of 18546 relevant lines covered (92.8%)

1.72 hits per line

Relevant lines Covered
18546 RELEVANT LINES 17210 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
19967145117 develop lassos: cleanup type information push mtf90 github
92.8
19864403395 develop Code for Mealy machines with local timers. (#96) * Added MMLT classes * Added basic tests for MMLTs; included sample MMLT model file. * Added serialization test for MMLTs. * Separated more files into API and implementation to enable use from L... push web-flow github
92.77
19566384231 develop Bump Java Version to 17/25 (#97) * 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 adjustment... push web-flow github
92.56
17579005088 develop incremental: improve error messages push mtf90 github
92.21
16814966032 develop Bump ADD-Lib to version 4.0 (#94) * bump add-lib version * disable addlib documentation for now * switch to stable release push web-flow github
92.21
16696482329 develop try alternative path computation push mtf90 github
92.16
16053467743 develop cleanups push mtf90 github
92.11
15559884927 develop ci: use correct variables push mtf90 github
92.12
15559314455 develop migrate to Sonatype Central Portal push mtf90 github
92.12
15186415914 develop Bump minimal Java version to 11 (#90) * initial refactoring * update doc * cleanups * simplify CF config * fix errors when building javadoc jars * remove IOUtil#copy * further cleanups * typo push web-flow github
92.12
See All Builds (454)