LearnLib / automatalib
93%

DEFAULT BRANCH: develop
Repo Added
Files 760
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.901% (-0.04%) from 92.937%
21282361789

push

github

web-flow 
Clean up CF definitions (#101)

* initial refactoring

* some more cleanups

* cleanups

59 of 66 new or added lines in 25 files covered. (89.39%)

1 existing line in 1 file now uncovered.

17419 of 18750 relevant lines covered (92.9%)

1.72 hits per line

Relevant lines Covered
18750 RELEVANT LINES 17419 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21282361789 develop Clean up CF definitions (#101) * initial refactoring * some more cleanups * cleanups push web-flow github
92.9
21281237210 develop bump logback version as suggested by dependabot on the LearnLib repo push mtf90 github
92.94
21247581665 develop NFAs: add Brzozowski's algorithm push mtf90 github
92.94
20242707685 develop Add conformance test generators based on k-way state/transition coverage (#99) * initial work on kWay tests * some more polishing added tests that still fail * add missing functionality + consolidations * finalizing things bugfixes, document... push web-flow github
92.93
20242010772 develop ci: replace deprecated macos image (#100) push web-flow github
92.83
19995144613 develop simplify procedural implementations since the output semantics now better handle partial systems, get rid of explicit sink management push mtf90 github
92.83
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
See All Builds (464)