LearnLib / learnlib / 31619759710
96%
develop: 95%

LAST BUILD BRANCH: master
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 609
Run time 1min
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: 95.488% (+1.1%) from 94.368%
31619759710

push

github

mtf90 
use new version scheme

15533 of 16267 relevant lines covered (95.49%)

1.72 hits per line

Coverage Regressions

Lines Coverage ∆ File
19
89.37
 1.22% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithm/ttt/vpa/TTTLearnerVPA.java
15
74.6
 0.41% commons/datastructures/src/main/java/de/learnlib/datastructure/pta/AbstractBlueFringePTAState.java
13
0.0
 0.0% filters/statistics/src/main/java/de/learnlib/filter/statistic/learner/RefinementCounterLearner.java
12
81.82
 1.17% algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/AbstractLStar.java
10
91.21
 0.94% algorithms/active/lsharp/src/main/java/de/learnlib/algorithm/lsharp/LSOracle.java
9
82.35
 0.0% commons/counterexamples/src/main/java/de/learnlib/counterexample/GlobalSuffixFinders.java
7
98.2
 0.07% algorithms/active/adt/src/main/java/de/learnlib/algorithm/adt/learner/ADTLearner.java
7
72.5
 3.45% filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/BoundedDeque.java
6
98.69
 1.12% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/base/AbstractTTTLearner.java
5
76.47
 2.18% commons/counterexamples/src/main/java/de/learnlib/acex/AcexAnalyzers.java
5
89.89
 0.0% commons/datastructures/src/main/java/de/learnlib/datastructure/pta/BasePTA.java
4
98.1
 0.17% algorithms/active/lsharp/src/main/java/de/learnlib/algorithm/lsharp/LSharpMealy.java
4
92.65
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/base/AbstractTTTHypothesis.java
4
64.29
 8.04% api/src/main/java/de/learnlib/query/OmegaQuery.java
4
46.15
 0.0% commons/datastructures/src/main/java/de/learnlib/datastructure/observationtable/writer/ObservationTableWriter.java
3
93.24
 3.77% algorithms/active/nlstar/src/main/java/de/learnlib/algorithm/nlstar/NLStarLearner.java
3
76.0
 0.0% algorithms/active/observation-pack-vpa/src/main/java/de/learnlib/algorithm/observationpack/vpa/hypothesis/DTNode.java
3
82.61
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/AbstractTestWordEQOracle.java
2
97.2
 1.08% algorithms/active/dhc/src/main/java/de/learnlib/algorithm/dhc/mealy/MealyDHC.java
2
98.5
 0.07% algorithms/active/observation-pack/src/main/java/de/learnlib/algorithm/observationpack/AbstractOPLearner.java
2
88.89
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/base/AbstractBaseDTNode.java
2
0.0
 0.0% api/src/main/java/de/learnlib/oracle/QueryAnswerer.java
2
96.55
 -0.06% commons/util/src/main/java/de/learnlib/util/Experiment.java
2
95.65
 0.0% commons/util/src/main/java/de/learnlib/util/mealy/MealyUtil.java
2
62.5
 0.96% drivers/basic/src/main/java/de/learnlib/driver/reflect/Error.java
2
94.59
 0.31% drivers/simulator/src/main/java/de/learnlib/driver/simulator/MealySimulatorSUL.java
2
80.0
 2.22% filters/statistics/src/main/java/de/learnlib/filter/statistic/sul/CounterObservableSUL.java
2
92.86
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWpMethodEQOracle.java
1
99.48
 2.14% algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithm/kv/dfa/KearnsVaziraniDFA.java
1
99.54
 1.94% algorithms/active/kearns-vazirani/src/main/java/de/learnlib/algorithm/kv/mealy/KearnsVaziraniMealy.java
1
99.41
 -0.59% algorithms/active/lambda/src/main/java/de/learnlib/algorithm/lambda/lstar/AbstractLLambda.java
1
99.07
 -0.93% algorithms/active/lambda/src/main/java/de/learnlib/algorithm/lambda/ttt/AbstractTTTLambda.java
1
75.0
 -8.33% algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mealy/LStarMealyUtil.java
1
99.22
 0.03% algorithms/active/observation-pack-vpa/src/main/java/de/learnlib/algorithm/observationpack/vpa/AbstractVPALearner.java
1
99.09
 -0.91% algorithms/active/procedural/src/main/java/de/learnlib/algorithm/procedural/sba/manager/OptimizingATManager.java
1
99.15
 -0.85% algorithms/active/procedural/src/main/java/de/learnlib/algorithm/procedural/spmm/manager/OptimizingATManager.java
1
99.41
 0.02% algorithms/active/procedural/src/main/java/de/learnlib/algorithm/procedural/spmm/SPMMLearner.java
1
90.91
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/dfa/TTTHypothesisDFA.java
1
90.91
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/mealy/TTTHypothesisMealy.java
1
91.67
 0.0% algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/moore/TTTHypothesisMoore.java
1
81.82
 8.29% algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithm/ttt/vpa/Splitter.java
1
88.89
 0.0% api/src/main/java/de/learnlib/AccessSequenceTransformer.java
1
88.89
 0.0% api/src/main/java/de/learnlib/oracle/MembershipOracle.java
1
91.67
 11.67% api/src/main/java/de/learnlib/query/Query.java
1
60.0
 0.0% drivers/basic/src/main/java/de/learnlib/driver/reflect/InstanceConstructor.java
1
85.71
 0.0% drivers/basic/src/main/java/de/learnlib/driver/reflect/MethodInput.java
1
85.71
 10.71% drivers/basic/src/main/java/de/learnlib/driver/reflect/ReturnValue.java
1
95.65
 0.0% examples/src/main/java/de/learnlib/example/aaar/AlternatingBitExampleExplicit.java
1
95.0
 -0.24% examples/src/main/java/de/learnlib/example/aaar/Protocol.java
1
98.86
 0.0% examples/src/main/java/de/learnlib/example/Example3.java
1
97.87
 0.25% examples/src/main/java/de/learnlib/example/resumable/ResumableExample.java
1
83.33
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/WMethodEQOracle.java
1
83.33
 0.0% oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/WpMethodEQOracle.java
1
98.08
 12.71% oracles/parallelism/src/main/java/de/learnlib/oracle/parallelism/ParallelOracleBuilders.java
Jobs
ID Job ID Ran Files Coverage
1 31619759710.1 609
95.49
Source Files on build 31619759710