LearnLib / automatalib / 13138848026
92%
develop: 93%

LAST BUILD BRANCH: kway
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 729
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.108% (+2.2%) from 89.877%
13138848026

push

github

mtf90 
[maven-release-plugin] prepare release automatalib-0.12.0

16609 of 18032 relevant lines covered (92.11%)

1.7 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
96.77
 0.05% util/src/main/java/net/automatalib/util/automaton/ads/BacktrackingSearch.java
1
95.45
 0.11% util/src/main/java/net/automatalib/util/automaton/conformance/WpMethodTestsIterator.java
1
90.91
 13.99% commons/util/src/main/java/net/automatalib/common/util/mapping/MapMapping.java
1
90.0
 8.18% util/src/main/java/net/automatalib/util/minimizer/MinimizationResult.java
1
88.89
 0.0% incremental/src/main/java/net/automatalib/incremental/dfa/AbstractIncrementalDFABuilder.java
1
88.89
 0.0% api/src/main/java/net/automatalib/automaton/graph/AbstractAutomatonGraphView.java
1
92.31
 0.0% api/src/main/java/net/automatalib/automaton/helper/SimpleStateIDs.java
1
96.97
 0.0% util/src/main/java/net/automatalib/util/partitionrefinement/Block.java
1
94.74
 0.0% api/src/main/java/net/automatalib/graph/visualization/CFMPSVisualizationHelper.java
1
93.33
 0.0% api/src/main/java/net/automatalib/graph/helper/SimpleNodeIDs.java
1
88.89
 0.0% api/src/main/java/net/automatalib/ts/TransitionSystem.java
1
98.11
 0.0% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/AbstractFSMParser.java
1
97.14
 0.0% examples/src/main/java/net/automatalib/example/modelchecking/LTSminMonitorExample.java
1
95.65
 0.0% util/src/main/java/net/automatalib/util/ts/traversal/BreadthFirstIterator.java
1
93.33
 0.0% util/src/main/java/net/automatalib/util/automaton/conformance/WMethodTestsIterator.java
1
93.75
 5.51% api/src/main/java/net/automatalib/ts/simple/SimpleTS.java
1
98.32
 0.0% incremental/src/main/java/net/automatalib/incremental/mealy/dag/IncrementalMealyDAGBuilder.java
1
95.83
 0.0% api/src/main/java/net/automatalib/graph/ads/RecursiveADSNode.java
1
96.15
 0.0% incremental/src/main/java/net/automatalib/incremental/dfa/dag/IncrementalPCDFADAGBuilder.java
1
50.0
 0.0% commons/util/src/main/java/net/automatalib/common/util/ref/Refs.java
1
97.18
 35.54% serialization/taf/src/main/java/net/automatalib/serialization/taf/parser/AbstractTAFBuilder.java
1
97.92
 0.04% serialization/aut/src/main/java/net/automatalib/serialization/aut/AUTWriter.java
1
83.33
 -16.67% api/src/main/java/net/automatalib/ts/acceptor/AcceptorTS.java
1
95.24
 0.0% incremental/src/main/java/net/automatalib/incremental/dfa/dag/State.java
1
83.33
 -2.38% api/src/main/java/net/automatalib/automaton/fsa/DFA.java
1
95.24
 0.0% util/src/main/java/net/automatalib/util/graph/traversal/BreadthFirstIterator.java
1
98.73
 0.0% util/src/main/java/net/automatalib/util/graph/apsp/FloydWarshallAPSP.java
1
96.67
 0.0% core/src/main/java/net/automatalib/automaton/base/AbstractFastMutable.java
1
96.97
 0.0% examples/src/main/java/net/automatalib/example/modelchecking/LTSminExample.java
1
83.33
 8.33% api/src/main/java/net/automatalib/graph/SimpleGraph.java
1
94.12
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/ltl/AbstractLTSminLTL.java
1
96.67
 0.0% core/src/main/java/net/automatalib/automaton/base/AbstractFastMutableNondet.java
1
96.97
 0.0% commons/util/src/main/java/net/automatalib/common/util/collection/AllCombinationsIterator.java
2
92.59
 14.81% api/src/main/java/net/automatalib/automaton/MutableAutomaton.java
2
97.22
 0.93% util/src/main/java/net/automatalib/util/automaton/ads/ADSUtil.java
2
96.36
 0.0% util/src/main/java/net/automatalib/util/automaton/procedural/CFMPSViewSPA.java
2
77.78
 0.0% util/src/main/java/net/automatalib/util/automaton/transducer/MealyFilter.java
2
88.89
 -1.59% commons/util/src/main/java/net/automatalib/common/util/concurrent/ScalingThreadPoolExecutor.java
2
99.09
 0.0% util/src/main/java/net/automatalib/util/automaton/ads/LeeYannakakis.java
2
91.67
 -0.33% incremental/src/main/java/net/automatalib/incremental/mealy/dag/StateSignature.java
2
98.06
 -0.04% incremental/src/main/java/net/automatalib/incremental/moore/tree/IncrementalMooreTreeBuilder.java
2
84.35
 1.59% util/src/main/java/net/automatalib/util/graph/traversal/GraphTraversal.java
2
97.89
 -0.04% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalDFATreeBuilder.java
2
50.0
 -50.0% util/src/main/java/net/automatalib/util/automaton/builder/DFABuilderImpl.java
2
88.5
 1.65% util/src/main/java/net/automatalib/util/ts/traversal/TSTraversal.java
2
33.33
 -33.33% api/src/main/java/net/automatalib/graph/IndefiniteSimpleGraph.java
2
89.74
 0.0% util/src/main/java/net/automatalib/util/minimizer/State.java
2
88.24
 0.0% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/ReflexiveMapView.java
2
92.86
 0.0% util/src/main/java/net/automatalib/util/graph/Graphs.java
2
92.0
 0.0% incremental/src/main/java/net/automatalib/incremental/moore/dag/StateSignature.java
2
88.89
 65.81% api/src/main/java/net/automatalib/ts/acceptor/DeterministicAcceptorTS.java
2
96.55
 4.05% util/src/main/java/net/automatalib/util/automaton/fsa/DFAs.java
2
33.33
 0.0% serialization/dot/src/main/java/net/automatalib/serialization/dot/DOTInputModelDeserializer.java
2
91.3
 0.0% commons/util/src/main/java/net/automatalib/common/util/Pair.java
2
97.26
 0.0% util/src/main/java/net/automatalib/util/automaton/transducer/SubsequentialTransducers.java
2
66.67
 0.0% visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOTUtil.java
2
0.0
 0.0% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/InvalidReferenceException.java
2
97.44
 2.14% serialization/saf/src/main/java/net/automatalib/serialization/saf/SAFOutput.java
2
90.91
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/monitor/AbstractLTSminMonitorMealy.java
2
98.41
 0.21% serialization/aut/src/main/java/net/automatalib/serialization/aut/InternalAUTParser.java
2
95.92
 8.88% util/src/main/java/net/automatalib/util/automaton/copy/AbstractLowLevelAutomatonCopier.java
3
95.45
 0.91% commons/util/src/main/java/net/automatalib/common/util/ReflectUtil.java
3
72.22
 -2.78% commons/util/src/main/java/net/automatalib/common/util/collection/AbstractTwoLevelIterator.java
3
96.88
 0.0% modelchecking/m3c/src/main/java/net/automatalib/modelchecker/m3c/transformer/ADDTransformer.java
3
97.24
 0.0% util/src/main/java/net/automatalib/util/automaton/vpa/SPAConverter.java
3
98.45
 0.0% util/src/main/java/net/automatalib/util/minimizer/Minimizer.java
3
98.12
 2.82% util/src/main/java/net/automatalib/util/automaton/equivalence/NearLinearEquivalenceTest.java
3
98.95
 -0.34% modelchecking/m3c/src/main/java/net/automatalib/modelchecker/m3c/solver/AbstractDDSolver.java
3
96.67
 9.65% core/src/main/java/net/automatalib/automaton/base/AbstractCompactSimpleNondet.java
3
93.02
 -0.73% util/src/main/java/net/automatalib/util/minimizer/Block.java
4
82.18
 2.97% commons/util/src/main/java/net/automatalib/common/util/string/StringUtil.java
4
90.24
 -9.76% commons/util/src/main/java/net/automatalib/common/util/IOUtil.java
4
92.31
 2.45% serialization/learnlibv2/src/main/java/net/automatalib/serialization/learnlibv2/LearnLibV2Serialization.java
4
91.84
 0.0% util/src/main/java/net/automatalib/util/automaton/procedural/SPMMs.java
4
71.43
 -5.49% commons/util/src/main/java/net/automatalib/common/util/mapping/ArrayMapping.java
4
96.4
 0.87% util/src/main/java/net/automatalib/util/automaton/fsa/NFAs.java
4
63.64
 -9.09% api/src/main/java/net/automatalib/automaton/DeterministicAutomaton.java
4
96.12
 0.05% util/src/main/java/net/automatalib/util/automaton/cover/Covers.java
4
50.0
 8.82% api/src/main/java/net/automatalib/alphabet/Alphabet.java
5
95.58
 0.0% util/src/main/java/net/automatalib/util/automaton/Automata.java
5
96.91
 0.0% serialization/dot/src/main/java/net/automatalib/serialization/dot/GraphDOT.java
5
78.79
 0.0% commons/util/src/main/java/net/automatalib/common/util/process/ProcessUtil.java
5
93.33
 0.0% util/src/main/java/net/automatalib/util/automaton/procedural/SBAs.java
5
73.68
 0.0% api/src/main/java/net/automatalib/word/EmptyWord.java
5
97.06
 0.04% util/src/main/java/net/automatalib/util/automaton/equivalence/CharacterizingSets.java
5
81.82
 -1.52% api/src/main/java/net/automatalib/word/LetterWord.java
6
85.57
 0.0% visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOTImageComponent.java
6
96.9
 0.02% incremental/src/main/java/net/automatalib/incremental/dfa/dag/AbstractIncrementalDFADAGBuilder.java
6
71.43
 2.46% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/AbstractSmartCollection.java
6
94.4
 0.0% visualization/jung-visualizer/src/main/java/net/automatalib/visualization/jung/JungGraphVisualizationProvider.java
6
50.0
 -42.86% commons/util/src/main/java/net/automatalib/common/util/io/NonClosingInputStream.java
6
88.24
 0.0% commons/util/src/main/java/net/automatalib/common/util/comparison/CmpUtil.java
6
96.7
 0.0% incremental/src/main/java/net/automatalib/incremental/moore/dag/IncrementalMooreDAGBuilder.java
7
89.71
 0.0% util/src/main/java/net/automatalib/util/graph/sssp/DijkstraSSSP.java
8
60.61
 0.0% util/src/main/java/net/automatalib/util/automaton/random/RandomAutomatonGenerator.java
9
90.0
 12.86% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/BinaryHeap.java
9
50.0
 0.0% commons/util/src/main/java/net/automatalib/common/util/fixpoint/Worksets.java
9
71.05
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/LTSminUtil.java
9
70.59
 0.89% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserIO.java
10
58.62
 0.0% commons/util/src/main/java/net/automatalib/common/util/Triple.java
10
16.67
 0.0% api/src/main/java/net/automatalib/visualization/VisualizationHelper.java
12
65.71
 -0.5% commons/util/src/main/java/net/automatalib/common/util/lib/LibLoader.java
12
66.67
 5.13% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/BackedGeneralPriorityQueue.java
13
90.38
 -0.52% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalPCDFATreeBuilder.java
13
94.01
 0.0% util/src/main/java/net/automatalib/util/automaton/vpa/OneSEVPAs.java
13
0.0
 0.0% commons/util/src/main/java/net/automatalib/common/util/function/FunctionsUtil.java
14
27.27
 -11.86% commons/util/src/main/java/net/automatalib/common/util/mapping/Mappings.java
14
62.67
 -0.97% commons/util/src/main/java/net/automatalib/common/util/nid/DynamicList.java
15
0.0
 -100.0% commons/util/src/main/java/net/automatalib/common/util/mapping/StringIndexMapping.java
16
39.29
 0.0% util/src/main/java/net/automatalib/util/ts/copy/TSCopy.java
17
70.0
 0.0% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/UnorderedCollection.java
19
80.21
 0.42% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2DFAParser.java
21
72.0
 0.17% serialization/fsm/src/main/java/net/automatalib/serialization/fsm/parser/FSM2MealyParserAlternating.java
22
62.34
 -1.66% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/AbstractLTSmin.java
24
55.88
 0.0% visualization/dot-visualizer/src/main/java/net/automatalib/visualization/dot/DOT.java
27
88.0
 0.3% api/src/main/java/net/automatalib/word/Word.java
30
69.49
 -0.56% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/AbstractLinkedList.java
Jobs
ID Job ID Ran Files Coverage
1 13138848026.1 729
92.11
Source Files on build 13138848026