LearnLib / automatalib / 31586418187
93%
develop: 93%

LAST BUILD BRANCH: master
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 775
Run time 2min
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: 92.921% (+0.9%) from 92.059%
31586418187

push

github

mtf90 
use new version scheme

17615 of 18957 relevant lines covered (92.92%)

1.72 hits per line

Coverage Regressions

Lines Coverage ∆ File
24
57.58
 1.69% visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOT.java
19
62.34
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/AbstractLTSmin.java
17
87.95
 -0.05% api/src/main/java/net/automatalib/word/Word.java
17
80.0
 -0.21% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2DFAParser.java
17
50.98
 -11.52% util/src/main/java/net/automatalib/util/automaton/vpa/ProductOneSEVPA.java
15
11.76
 -88.24% api/src/main/java/net/automatalib/automaton/vpa/SEVPA.java
15
91.94
 -2.07% util/src/main/java/net/automatalib/util/automaton/vpa/OneSEVPAs.java
14
72.0
 0.0% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternating.java
13
90.26
 -0.12% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalPCDFATreeBuilder.java
13
55.56
 0.0% util/src/main/java/net/automatalib/util/automaton/random/RandomICAutomatonGenerator.java
12
62.16
 -0.5% commons/util/src/main/java/net/automatalib/common/util/nid/DynamicList.java
12
87.74
 3.39% util/src/main/java/net/automatalib/util/graph/traversal/GraphTraversal.java
9
18.18
 0.0% commons/util/src/main/java/net/automatalib/common/util/WrapperUtil.java
9
84.21
 0.28% core/src/main/java/net/automatalib/modelchecking/impl/AbstractLasso.java
9
70.59
 0.0% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIO.java
8
67.65
 1.93% commons/util/src/main/java/net/automatalib/common/util/lib/LibLoader.java
8
96.69
 -0.01% incremental/src/main/java/net/automatalib/incremental/moore/dag/IncrementalMooreDAGBuilder.java
7
97.27
 0.37% incremental/src/main/java/net/automatalib/incremental/dfa/dag/AbstractIncrementalDFADAGBuilder.java
7
90.85
 0.0% util/src/main/java/net/automatalib/util/partitionrefinement/Hopcroft.java
7
92.31
 3.81% util/src/main/java/net/automatalib/util/ts/traversal/TSTraversal.java
6
96.1
 -0.05% incremental/src/main/java/net/automatalib/incremental/dfa/dag/IncrementalPCDFADAGBuilder.java
6
95.68
 0.06% util/src/main/java/net/automatalib/util/automaton/minimizer/OneSEVPAMinimizer.java
5
72.22
 -18.69% core/src/main/java/net/automatalib/automaton/transducer/impl/CompactMealy.java
5
98.32
 -0.01% incremental/src/main/java/net/automatalib/incremental/mealy/dag/IncrementalMealyDAGBuilder.java
5
93.9
 2.38% serialization/dot/src/main/java/net/automatalib/serialization/dot/DOTParsers.java
5
96.03
 -0.09% util/src/main/java/net/automatalib/util/automaton/cover/Covers.java
5
93.42
 0.09% util/src/main/java/net/automatalib/util/automaton/procedural/SBAs.java
5
89.71
 0.0% util/src/main/java/net/automatalib/util/graph/sssp/DijkstraSSSP.java
4
75.0
 -25.0% api/src/main/java/net/automatalib/automaton/abstraction/DeterministicAbstractions.java
4
16.67
 -33.33% api/src/main/java/net/automatalib/graph/ContextFreeModalProcessSystem.java
4
96.91
 0.0% serialization/dot/src/main/java/net/automatalib/serialization/dot/GraphDOT.java
4
95.58
 0.0% util/src/main/java/net/automatalib/util/automaton/Automata.java
4
96.69
 0.3% util/src/main/java/net/automatalib/util/automaton/fsa/NFAs.java
4
97.27
 0.03% util/src/main/java/net/automatalib/util/automaton/vpa/SPAConverter.java
4
85.42
 -0.15% visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOTImageComponent.java
3
55.56
 34.72% adapters/brics/src/main/java/net/automatalib/brics/BricsTransitionProperty.java
3
75.0
 10.71% core/src/main/java/net/automatalib/automaton/procedural/impl/EmptySPMM.java
3
97.22
 -0.05% incremental/src/main/java/net/automatalib/incremental/dfa/dag/IncrementalDFADAGBuilder.java
3
98.93
 -0.01% modelchecking/m3c/src/main/java/net/automatalib/modelchecker/m3c/solver/AbstractDDSolver.java
3
95.83
 -1.39% util/src/main/java/net/automatalib/util/automaton/ads/ADSUtil.java
3
98.44
 -0.01% util/src/main/java/net/automatalib/util/minimizer/Minimizer.java
2
92.59
 0.0% api/src/main/java/net/automatalib/automaton/MutableAutomaton.java
2
94.44
 2.34% api/src/main/java/net/automatalib/automaton/MutableDeterministic.java
2
0.0
 0.0% api/src/main/java/net/automatalib/serialization/ModelSerializer.java
2
88.24
 0.0% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/ReflexiveMapView.java
2
70.83
 12.21% commons/util/src/main/java/net/automatalib/common/util/Triple.java
2
66.67
 0.0% core/src/main/java/net/automatalib/modelchecking/impl/InternalModelCheckerDelegator.java
2
66.67
 0.0% core/src/main/java/net/automatalib/modelchecking/impl/MealyLassoImpl.java
2
33.33
 0.0% incremental/src/main/java/net/automatalib/incremental/dfa/IncrementalDFABuilder.java
2
98.08
 0.02% incremental/src/main/java/net/automatalib/incremental/moore/tree/IncrementalMooreTreeBuilder.java
2
93.1
 13.56% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/LTSminVersion.java
2
33.33
 0.0% serialization/dot/src/main/java/net/automatalib/serialization/dot/DOTInputModelDeserializer.java
2
95.45
 0.0% util/src/main/java/net/automatalib/util/automaton/conformance/WpMethodTestsIterator.java
2
99.06
 0.94% util/src/main/java/net/automatalib/util/automaton/equivalence/NearLinearEquivalenceTest.java
2
98.66
 0.01% util/src/main/java/net/automatalib/util/automaton/procedural/SPAs.java
2
92.86
 0.0% util/src/main/java/net/automatalib/util/graph/Graphs.java
1
50.0
 50.0% api/src/main/java/net/automatalib/automaton/Automaton.java
1
83.33
 3.33% api/src/main/java/net/automatalib/automaton/concept/Output.java
1
66.67
 0.0% api/src/main/java/net/automatalib/automaton/graph/TransitionEdge.java
1
95.24
 -0.41% api/src/main/java/net/automatalib/automaton/transducer/SubsequentialTransducer.java
1
95.0
 0.26% api/src/main/java/net/automatalib/graph/visualization/CFMPSVisualizationHelper.java
1
60.0
 0.0% api/src/main/java/net/automatalib/serialization/InputModelSerializer.java
1
66.67
 0.0% api/src/main/java/net/automatalib/serialization/ModelDeserializer.java
1
87.5
 4.17% api/src/main/java/net/automatalib/ts/acceptor/AcceptorTS.java
1
93.75
 0.0% api/src/main/java/net/automatalib/ts/simple/SimpleTS.java
1
94.74
 0.0% commons/util/src/main/java/net/automatalib/common/util/collection/AbstractSimplifiedIterator.java
1
88.89
 0.0% commons/util/src/main/java/net/automatalib/common/util/concurrent/ScalingThreadPoolExecutor.java
1
96.3
 17.51% commons/util/src/main/java/net/automatalib/common/util/process/ProcessUtil.java
1
66.67
 0.0% commons/util/src/main/java/net/automatalib/common/util/string/Printable.java
1
25.0
 13.89% core/src/main/java/net/automatalib/alphabet/impl/AbstractSymbol.java
1
96.67
 0.0% core/src/main/java/net/automatalib/automaton/base/AbstractFastMutable.java
1
97.83
 -2.17% core/src/main/java/net/automatalib/automaton/procedural/impl/StackSBA.java
1
97.73
 0.0% core/src/main/java/net/automatalib/automaton/procedural/impl/StackSPA.java
1
98.08
 -1.92% core/src/main/java/net/automatalib/automaton/procedural/impl/StackSPMM.java
1
90.0
 1.11% core/src/main/java/net/automatalib/automaton/vpa/impl/AbstractSEVPA.java
1
95.65
 6.76% core/src/main/java/net/automatalib/graph/impl/CompactPMPG.java
1
98.91
 1.02% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalDFATreeBuilder.java
1
97.56
 -2.44% incremental/src/main/java/net/automatalib/incremental/mealy/tree/DynamicIncrementalMealyTreeBuilder.java
1
98.86
 1.96% modelchecking/m3c/src/main/java/net/automatalib/modelchecker/m3c/transformer/BDDTransformer.java
1
97.44
 0.0% serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFOutput.java
1
90.0
 -1.67% serialization/taf/src/main/java/net/automatalib/serialization/taf/writer/TAFAnyWriter.java
1
96.74
 -0.04% util/src/main/java/net/automatalib/util/automaton/ads/BacktrackingSearch.java
1
99.08
 -0.0% util/src/main/java/net/automatalib/util/automaton/ads/LeeYannakakis.java
1
98.48
 0.0% util/src/main/java/net/automatalib/util/automaton/conformance/StrictPriorityQueue.java
1
97.06
 0.0% util/src/main/java/net/automatalib/util/automaton/equivalence/CharacterizingSets.java
1
85.92
 2.82% util/src/main/java/net/automatalib/util/automaton/minimizer/HopcroftMinimizer.java
1
97.26
 0.0% util/src/main/java/net/automatalib/util/automaton/transducer/SubsequentialTransducers.java
1
96.97
 -0.17% util/src/main/java/net/automatalib/util/ts/traversal/SimpleDFRecord.java
Jobs
ID Job ID Ran Files Coverage
1 31586418187.1 775
92.92
Source Files on build 31586418187