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

coverage: 92.916% (+0.006%) from 92.91%
30841890651

push

github

mtf90 
incremental: return finite structures in asTransitionSystem

22 of 23 new or added lines in 7 files covered. (95.65%)

17615 of 18958 relevant lines covered (92.92%)

1.72 hits per line

Relevant lines Covered
18958 RELEVANT LINES 17615 COVERED LINES
1.72 HITS PER LINE
Source Files on develop

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
30841890651 develop incremental: return finite structures in asTransitionSystem push mtf90 github
92.92
30200938511 develop aut: determinize serialization output push mtf90 github
92.91
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
29934952204 semantics Merge d633f78fd into a136446e1 Pull #103 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
29622048893 semantics Merge 8e66953a6 into edbbaaaa4 Pull #103 web-flow github
92.9
29620562348 develop remove DFAs#minimize push mtf90 github
93.04
29578746597 develop commons/util: add documentation push mtf90 github
93.03
See All Builds (487)