LearnLib / learnlib / 6433387082
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 492
Run time 15s
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.296% (-0.007%) from 92.303%
6433387082

push

github

mtf90 
update Falk's developer id

11573 of 12539 relevant lines covered (92.3%)

1.67 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
75.0
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/adt/ADTLeafNode.java
1
95.45
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/adt/ADTNode.java
1
75.0
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/api/PartialTransitionAnalyzer.java
1
98.33
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/config/LeafSplitters.java
1
97.96
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/config/model/extender/DefaultExtender.java
1
96.77
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/config/model/replacer/ExhaustiveReplacer.java
1
85.71
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/BlockList.java
1
90.0
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/DTree.java
1
96.55
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/OneSEVPAHypothesis.java
1
92.86
 0.0% algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithms/kv/StateInfo.java
1
92.31
 0.0% algorithms/active/oml/src/main/java/de/learnlib/algorithms/oml/ttt/mealy/ChildrenMealy.java
1
90.91
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/adapter/dfa/LStarBaseAdapterDFA.java
1
90.91
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/adapter/dfa/RivestSchapireAdapterDFA.java
1
91.67
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/adapter/mealy/LStarBaseAdapterMealy.java
1
90.91
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/adapter/mealy/RivestSchapireAdapterMealy.java
1
97.73
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/sba/ProceduralMembershipOracle.java
1
99.04
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/spa/manager/OptimizingATRManager.java
1
98.39
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/spmm/ProceduralMembershipOracle.java
1
99.38
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/spmm/SPMMLearner.java
1
85.71
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/SymbolWrapper.java
1
0.0
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/HypothesisChangedException.java
1
94.12
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/TTTState.java
1
91.67
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/moore/TTTHypothesisMoore.java
1
88.89
 0.0% algorithms/passive/ostia/src/main/java/de/learnlib/algorithms/ostia/Blue.java
1
83.33
 0.0% algorithms/passive/ostia/src/main/java/de/learnlib/algorithms/ostia/Edge.java
1
97.78
 0.0% algorithms/passive/ostia/src/main/java/de/learnlib/algorithms/ostia/IntQueue.java
1
96.0
 0.0% algorithms/passive/rpni-mdl/src/main/java/de/learnlib/algorithms/rpni/BlueFringeMDLDFA.java
1
92.31
 0.0% algorithms/passive/rpni/src/main/java/de/learnlib/algorithms/rpni/BlueFringeRPNIDFA.java
1
92.31
 0.0% algorithms/passive/rpni/src/main/java/de/learnlib/algorithms/rpni/BlueFringeRPNIMealy.java
1
88.89
 0.0% api/src/main/java/de/learnlib/api/oracle/MembershipOracle.java
1
50.0
 0.0% api/src/main/java/de/learnlib/api/oracle/QueryAnswerer.java
1
0.0
 0.0% api/src/main/java/de/learnlib/api/StateLocalInputSUL.java
1
94.12
 0.0% commons/util/src/main/java/de/learnlib/util/mealy/SymbolOracleWrapper.java
1
96.3
 0.0% commons/util/src/main/java/de/learnlib/util/moore/MooreUtil.java
1
98.36
 0.0% datastructures/discrimination-tree/src/main/java/de/learnlib/datastructure/discriminationtree/model/AbstractDTNode.java
1
96.67
 0.0% datastructures/discrimination-tree/src/main/java/de/learnlib/datastructure/discriminationtree/model/AbstractTemporaryIntrusiveDTNode.java
1
96.43
 0.0% datastructures/observation-table/src/main/java/de/learnlib/datastructure/observationtable/writer/SuffixASCIIWriter.java
1
50.0
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/Unobserved.java
1
95.65
 0.0% examples/src/main/java/de/learnlib/examples/bbc/Example4.java
1
98.86
 0.0% examples/src/main/java/de/learnlib/examples/Example3.java
1
97.62
 0.0% examples/src/main/java/de/learnlib/examples/resumable/ResumableExample.java
1
87.5
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/CExFirstOracle.java
1
90.0
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/sba/SimulatorEQOracle.java
1
92.31
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/sba/WMethodEQOracle.java
1
93.33
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spa/WMethodEQOracle.java
1
93.33
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spa/WpMethodEQOracle.java
1
90.0
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spmm/SimulatorEQOracle.java
1
92.31
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/spmm/WMethodEQOracle.java
1
97.92
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/vpa/RandomWellMatchedWordsEQOracle.java
1
90.0
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/vpa/SimulatorEQOracle.java
1
97.83
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/dfa/DFACacheOracle.java
1
90.0
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/dfa/ProxyQuery.java
1
96.3
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/ReuseNode.java
1
91.67
 0.0% oracles/filters/statistics/src/main/java/de/learnlib/filter/statistic/oracle/CounterSymbolQueryOracle.java
1
98.48
 0.0% oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/AbstractSULOmegaOracle.java
2
97.59
 0.0% algorithms/active/aaar/src/main/java/de/learnlib/algorithms/aaar/abstraction/AbstractAbstractionTree.java
2
93.1
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/automaton/ADTHypothesis.java
2
98.39
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/vpa/AbstractVPALearner.java
2
80.0
 0.0% algorithms/active/nlstar/src/main/java/de/learnlib/algorithms/nlstar/Inconsistency.java
2
98.65
 0.0% algorithms/active/oml/src/main/java/de/learnlib/algorithms/oml/lstar/AbstractOptimalLStar.java
2
92.0
 0.0% algorithms/active/oml/src/main/java/de/learnlib/algorithms/oml/ttt/dfa/ChildrenDFA.java
2
94.44
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/spa/ProceduralMembershipOracle.java
2
97.6
 0.0% algorithms/active/procedural/src/main/java/de/learnlib/algorithms/procedural/spa/SPALearner.java
2
95.12
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/TTTTransition.java
2
83.33
 0.0% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithms/ttt/vpa/NonDetState.java
2
84.62
 0.0% api/src/main/java/de/learnlib/api/algorithm/PassiveLearningAlgorithm.java
2
0.0
 0.0% api/src/main/java/de/learnlib/api/ObservableSUL.java
2
0.0
 0.0% api/src/main/java/de/learnlib/api/oracle/parallelism/BatchInterruptedException.java
2
60.0
 0.0% api/src/main/java/de/learnlib/api/oracle/SingleQueryOmegaOracle.java
2
86.67
 0.0% api/src/main/java/de/learnlib/api/query/Query.java
2
0.0
 0.0% api/src/main/java/de/learnlib/api/SUL.java
2
96.61
 0.0% commons/util/src/main/java/de/learnlib/util/Experiment.java
2
89.47
 0.0% commons/util/src/main/java/de/learnlib/util/moore/SymbolOracleWrapper.java
2
83.33
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/api/TestDriver.java
2
66.67
 0.0% drivers/mapper/src/main/java/de/learnlib/mapper/ExecutableInputSUL.java
2
33.33
 0.0% drivers/mapper/src/main/java/de/learnlib/mapper/Mappers.java
2
94.29
 0.0% drivers/simulator/src/main/java/de/learnlib/driver/util/MealySimulatorSUL.java
2
89.47
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWordsEQOracle.java
2
95.45
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/mealy/MasterQuery.java
2
97.85
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/mealy/MealyCacheOracle.java
2
95.83
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/mealy/SymbolQueryCache.java
2
90.48
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/ReuseTreeDotHelper.java
2
81.82
 0.0% oracles/filters/statistics/src/main/java/de/learnlib/filter/statistic/Counter.java
2
94.29
 0.0% oracles/filters/statistics/src/main/java/de/learnlib/filter/statistic/HistogramDataSet.java
2
83.33
 0.0% oracles/filters/statistics/src/main/java/de/learnlib/filter/statistic/oracle/CounterOracle.java
2
83.33
 0.0% oracles/filters/statistics/src/main/java/de/learnlib/filter/statistic/oracle/HistogramOracle.java
2
88.89
 0.0% oracles/parallelism/src/main/java/de/learnlib/oracle/parallelism/AbstractDynamicBatchProcessor.java
2
86.67
 0.0% oracles/property-oracles/src/main/java/de/learnlib/oracle/property/AbstractPropertyOracle.java
3
75.0
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/DTNode.java
3
97.54
 0.0% algorithms/active/nlstar/src/main/java/de/learnlib/algorithms/nlstar/ObservationTable.java
3
97.03
 -0.22% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/AbstractTTTLearner.java
3
97.3
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/dfa/PrefixTTTLearnerDFA.java
3
73.33
 0.0% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithms/ttt/vpa/NondetStackContents.java
3
87.5
 0.0% api/src/main/java/de/learnlib/api/logging/LoggingPropertyOracle.java
3
82.35
 0.0% api/src/main/java/de/learnlib/api/query/DefaultQuery.java
3
57.14
 0.0% commons/counterexamples/src/main/java/de/learnlib/counterexamples/LocalSuffixFinders.java
3
83.33
 0.0% commons/util/src/main/java/de/learnlib/util/AbstractBFOracle.java
3
93.48
 0.0% commons/util/src/main/java/de/learnlib/util/mealy/MealyUtil.java
3
63.64
 0.0% datastructures/pta/src/main/java/de/learnlib/datastructure/pta/bluefringe/DefaultProcessingOrders.java
3
82.35
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/ConcreteMethodInput.java
3
78.57
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/ReturnValue.java
3
81.25
 0.0% drivers/mapper/src/main/java/de/learnlib/mapper/api/SULMapper.java
3
93.88
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/mealy/RandomWalkEQOracle.java
3
90.63
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWMethodEQOracle.java
3
92.86
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWpMethodEQOracle.java
3
93.33
 0.0% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/sul/AbstractSULCache.java
3
92.11
 0.0% oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/SimulatorOmegaOracle.java
3
88.71
 0.0% oracles/parallelism/src/main/java/de/learnlib/oracle/parallelism/AbstractStaticBatchProcessor.java
4
95.6
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/ads/DefensiveADS.java
4
96.26
 0.0% algorithms/active/dhc/src/main/java/de/learnlib/algorithms/dhc/mealy/MealyDHC.java
4
93.94
 0.0% algorithms/active/lstar/src/main/java/de/learnlib/algorithms/lstar/AbstractAutomatonLStar.java
4
92.19
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/AbstractTTTHypothesis.java
4
79.17
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/BaseTTTDiscriminationTree.java
4
73.53
 0.0% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithms/ttt/vpa/Splitter.java
4
98.08
 0.0% algorithms/passive/ostia/src/main/java/de/learnlib/algorithms/ostia/OSTIA.java
4
96.33
 0.0% datastructures/discrimination-tree/src/main/java/de/learnlib/datastructure/discriminationtree/model/AbstractDiscriminationTree.java
4
71.43
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/SimplePOJODataMapper.java
4
57.14
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/SimplePOJOTestDriver.java
4
83.33
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/AbstractTestWordEQOracle.java
4
71.43
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/DisproveFirstOracle.java
4
76.47
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/ReuseEdge.java
4
0.0
 0.0% oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/MappedOracle.java
4
80.0
 0.0% oracles/parallelism/src/main/java/de/learnlib/filter/cache/dfa/ThreadSafeDFACaches.java
5
72.22
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/adt/ADTResetNode.java
5
96.15
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/util/ADTUtil.java
5
68.29
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/TransList.java
5
97.34
 0.0% algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithms/kv/dfa/KearnsVaziraniDFA.java
5
97.6
 0.0% algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithms/kv/mealy/KearnsVaziraniMealy.java
5
76.47
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithms/ttt/base/IncomingList.java
5
25.0
 0.0% api/src/main/java/de/learnlib/api/oracle/OmegaMembershipOracle.java
5
74.29
 0.0% commons/acex/src/main/java/de/learnlib/acex/analyzers/AcexAnalyzers.java
6
98.39
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/learner/ADTLearner.java
6
90.43
 0.0% algorithms/active/oml/src/main/java/de/learnlib/algorithms/oml/ttt/AbstractOptimalTTT.java
6
82.35
 0.0% commons/counterexamples/src/main/java/de/learnlib/counterexamples/GlobalSuffixFinders.java
6
0.0
 0.0% drivers/mapper/src/main/java/de/learnlib/mapper/AbstractContextExecutableInputSUL.java
6
84.44
 0.0% oracles/parallelism/src/main/java/de/learnlib/oracle/parallelism/AbstractDynamicBatchProcessorBuilder.java
7
83.33
 0.0% algorithms/active/discrimination-tree-vpa/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/vpa/HypLoc.java
7
89.29
 0.0% algorithms/active/nlstar/src/main/java/de/learnlib/algorithms/nlstar/NLStarLearner.java
7
54.17
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/MethodInput.java
7
0.0
 0.0% drivers/mapper/src/main/java/de/learnlib/mapper/ContextExecutableInputSUL.java
7
80.95
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/SampleSetEQOracle.java
7
0.0
 0.0% oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/FilterChain.java
8
88.06
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/adt/ADT.java
8
81.25
 0.0% algorithms/active/lstar/src/main/java/de/learnlib/algorithms/lstar/AbstractLStar.java
8
69.05
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/BoundedDeque.java
8
48.39
 0.0% oracles/property-oracles/src/main/java/de/learnlib/oracle/property/PropertyOracleChain.java
9
96.54
 0.0% datastructures/observation-table/src/main/java/de/learnlib/datastructure/observationtable/GenericObservationTable.java
9
28.57
 0.0% drivers/basic/src/main/java/de/learnlib/drivers/reflect/Error.java
10
53.13
 0.0% api/src/main/java/de/learnlib/api/logging/LearnLogger.java
11
85.71
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/ReuseOracle.java
12
80.65
 0.0% algorithms/active/discrimination-tree/src/main/java/de/learnlib/algorithms/discriminationtree/hypothesis/DTLearnerHypothesis.java
16
88.37
 0.0% oracles/filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/ReuseTree.java
22
72.79
 0.0% datastructures/pta/src/main/java/de/learnlib/datastructure/pta/pta/BasePTA.java
24
86.94
 0.0% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithms/ttt/vpa/TTTLearnerVPA.java
25
37.14
 0.0% datastructures/observation-table/src/main/java/de/learnlib/datastructure/observationtable/ObservationTable.java
27
43.55
 0.0% datastructures/discrimination-tree/src/main/java/de/learnlib/datastructure/discriminationtree/model/BooleanMap.java
Jobs
ID Job ID Ran Files Coverage
1 6433387082.1 492
92.3
Source Files on build 6433387082