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: 93.007% (+0.03%) from 92.974%
27292641968

push

github

mtf90 
SPMMs: fix in equivalence testing

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

17529 of 18847 relevant lines covered (93.01%)

1.73 hits per line

Relevant lines Covered
18847 RELEVANT LINES 17529 COVERED LINES
1.73 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
27292641968 develop SPMMs: fix in equivalence testing push mtf90 github
93.01
24129838356 develop bump analysis plugins + corresponding cleanups push mtf90 github
92.97
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
See All Builds (471)