LearnLib / automatalib / 6763327895
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 706
Run time 42s
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
coverage: 89.726% (-0.1%) from 89.868%
6763327895

push

github

mtf90 
fix typo

4 of 4 new or added lines in 4 files covered. (100.0%)

99 existing lines in 18 files now uncovered.

15677 of 17472 relevant lines covered (89.73%)

1.66 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
50.0
 -25.0% api/src/main/java/net/automatalib/graph/SimpleGraph.java
1
88.89
 6.28% incremental/src/main/java/net/automatalib/incremental/dfa/AbstractIncrementalDFABuilder.java
2
64.29
 -14.29% core/src/main/java/net/automatalib/automaton/transducer/CompactMoore.java
2
33.33
 -66.67% incremental/src/main/java/net/automatalib/incremental/dfa/IncrementalDFABuilder.java
2
97.94
 -0.23% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalDFATreeBuilder.java
2
92.0
 0.0% incremental/src/main/java/net/automatalib/incremental/mealy/dag/StateSignature.java
2
92.0
 0.0% incremental/src/main/java/net/automatalib/incremental/moore/dag/StateSignature.java
2
98.1
 -0.12% incremental/src/main/java/net/automatalib/incremental/moore/tree/IncrementalMooreTreeBuilder.java
2
94.4
 -1.6% visualization/jung-visualizer/src/main/java/net/automatalib/visualization/jung/JungGraphVisualizationProvider.java
3
96.1
 0.0% api/src/main/java/net/automatalib/alphabet/VPAlphabet.java
5
41.18
 0.0% api/src/main/java/net/automatalib/alphabet/Alphabet.java
5
98.32
 0.26% incremental/src/main/java/net/automatalib/incremental/mealy/dag/IncrementalMealyDAGBuilder.java
8
96.88
 0.2% incremental/src/main/java/net/automatalib/incremental/dfa/dag/AbstractIncrementalDFADAGBuilder.java
9
0.0
 -100.0% api/src/main/java/net/automatalib/visualization/helper/DelegateVisualizationHelper.java
10
96.7
 -0.37% incremental/src/main/java/net/automatalib/incremental/moore/dag/IncrementalMooreDAGBuilder.java
11
0.0
 -84.62% api/src/main/java/net/automatalib/graph/helper/SimpleNodeIDs.java
14
90.91
 0.91% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalPCDFATreeBuilder.java
18
64.0
 -0.94% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/AbstractLTSmin.java
Jobs
ID Job ID Ran Files Coverage
1 6763327895.1 706
89.73
Source Files on build 6763327895