LearnLib / automatalib
93%

DEFAULT BRANCH: develop
Repo Added
Files 765
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.029% (+0.02%) from 93.007%
29161451305

push

github

mtf90 
generify some nomenclature

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

10 existing lines in 3 files now uncovered.

17562 of 18878 relevant lines covered (93.03%)

1.73 hits per line

Relevant lines Covered
18878 RELEVANT LINES 17562 COVERED LINES
1.73 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
29161451305 develop generify some nomenclature push mtf90 github
93.03
28579382029 develop improve integration of GrowingAlphabet into collection semantics push mtf90 github
93.01
28022375589 develop ci: bump actions versions push mtf90 github
93.01
28013097648 semantics Merge 1553bac46 into 87b9d660b Pull #103 web-flow github
92.88
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
See All Builds (475)