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.921%. Remained the same
32364051445

push

github

mtf90 
mata: do not require state type for parsing

17615 of 18957 relevant lines covered (92.92%)

1.72 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
32364051445 develop mata: do not require state type for parsing push mtf90 github
92.92
31702838102 develop remove 'basic' archetype in an effort to reduce publishing usage at sonatype push mtf90 github
92.92
31589334664 develop [maven-release-plugin] prepare for next development iteration push mtf90 github
92.92
31584951996 develop use new version scheme push mtf90 github
92.92
31504399420 develop reduce log levels in VisualizationProvider checks push mtf90 github
92.92
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
29840659186 develop serialization: get rid of some more generics push mtf90 github
93.04
See All Builds (497)