LearnLib / automatalib
93%

DEFAULT BRANCH: develop
Repo Added
Files 761
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.937%. Remained the same
22064887880

push

github

mtf90 
add supported formalisms to serializers' documentation

17527 of 18859 relevant lines covered (92.94%)

1.72 hits per line

Relevant lines Covered
18859 RELEVANT LINES 17527 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
22064887880 develop add supported formalisms to serializers' documentation push mtf90 github
92.94
21822444536 develop Add DOT parser for CFMPSs (#102) * initial work on CFMPS parser * some more work * add more tests and documentation * improve documentation push web-flow github
92.94
21821568820 cfmps-parser Merge 404be977f into 429f928ee Pull #102 web-flow github
92.94
21819280377 cfmps-parser Merge 92f4e0f6a into 429f928ee Pull #102 web-flow github
92.94
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
See All Builds (469)