LearnLib / automatalib
93%

DEFAULT BRANCH: develop
Repo Added
Files 775
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.91% (+0.004%) from 92.906%
30120422667

push

github

mtf90 
serialization: lift constraint on model type

... and add some utilities for DOTSerializers

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

17612 of 18956 relevant lines covered (92.91%)

1.72 hits per line

Relevant lines Covered
18956 RELEVANT LINES 17612 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
30120422667 develop serialization: lift constraint on model type ... and add some utilities for DOTSerializers push mtf90 github
92.91
29937780095 develop Distinguish between structural and semantic interpretations of automata (#103) * initial experimentation * cleanups * integrate VPAs in new semantics + cleanup concepts * consolidations * add more tests * final touches * fix broken referenc... push web-flow github
92.91
29840659186 develop serialization: get rid of some more generics push mtf90 github
93.04
29770120138 develop serialization: refactor some unneeded generics push mtf90 github
93.04
29620562348 develop remove DFAs#minimize push mtf90 github
93.04
29578746597 develop commons/util: add documentation push mtf90 github
93.03
29355161923 develop javadoc: disable metainf-services link push mtf90 github
93.03
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
See All Builds (485)