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: SELECT
CHANGE BRANCH
x

coverage: 92.882% (-0.02%) from 92.901%
21665074655

push

github

mtf90 
bump m3c version

17419 of 18754 relevant lines covered (92.88%)

1.72 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
21665074655 develop bump m3c version push mtf90 github
92.88
21282361789 develop Clean up CF definitions (#101) * initial refactoring * some more cleanups * cleanups push web-flow github
92.9
21281365611 cf-assert-rework Merge e9327aa07 into bcaf38043 Pull #101 web-flow github
92.9
21281370896 cf-assert-rework Merge ed8fd0161 into bcaf38043 Pull #101 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
20242050438 kway Merge 68218e55f into 4ed436ef7 Pull #99 web-flow github
92.93
20242010772 develop ci: replace deprecated macos image (#100) push web-flow github
92.83
20241368989 macos-intel Merge 6a70f0a88 into 3b61aeedb Pull #100 web-flow github
92.83
See All Builds (465)