LearnLib / learnlib / 20198569605
95%
develop: 95%

LAST BUILD BRANCH: sparse
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 584
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: 94.914% (+0.4%) from 94.471%
20198569605

Pull #153

github

web-flow 
Merge 6a71fc929 into 879958926
Pull Request #153: Implementation for learning MMLTs, new model for collecting statistics

1823 of 1873 new or added lines in 77 files covered. (97.33%)

1 existing line in 1 file now uncovered.

14258 of 15022 relevant lines covered (94.91%)

1.73 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
98.78
 algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/cex/MMLTCounterexampleHandler.java
1
96.67
 examples/src/main/java/de/learnlib/example/mmlt/Example2.java
1
97.06
 examples/src/main/java/de/learnlib/example/mmlt/Example3.java
1
98.75
 filters/cache/src/main/java/de/learnlib/filter/cache/mmlt/MMLTCacheConsistencyTest.java
1
93.33
 filters/statistics/src/main/java/de/learnlib/filter/statistic/container/ClockContainer.java
1
93.33
 filters/symbol-filters/src/main/java/de/learnlib/filter/symbol/AbstractRandomSymbolFilter.java
1
66.67
 filters/symbol-filters/src/main/java/de/learnlib/filter/symbol/AcceptAllSymbolFilter.java
1
98.44
 oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/mmlt/ResetSearchEQOracle.java
1
99.12
 oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/TimedSULOracle.java
2
99.12
 algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/ExtensibleLStarMMLT.java
2
75.0
 algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/cex/results/MissingDiscriminatorResult.java
2
93.1
 api/src/main/java/de/learnlib/sul/TimedSUL.java
2
94.12
 examples/src/main/java/de/learnlib/example/mmlt/Example4.java
2
97.73
 filters/cache/src/main/java/de/learnlib/filter/cache/mmlt/TimedSULTreeCache.java
2
86.67
 filters/statistics/src/main/java/de/learnlib/filter/statistic/oracle/CounterEQOracle.java
2
80.0
 2.22% filters/statistics/src/main/java/de/learnlib/filter/statistic/sul/CounterObservableSUL.java
4
88.57
 algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/LocationTimerInfo.java
5
73.68
 filters/symbol-filters/src/main/java/de/learnlib/filter/symbol/AbstractStatisticsSymbolFilter.java
7
96.63
 algorithms/active/lstar/src/main/java/de/learnlib/algorithm/lstar/mmlt/MMLTObservationTable.java
11
0.0
 0.0% filters/statistics/src/main/java/de/learnlib/filter/statistic/learner/RefinementCounterLearner.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
0.0
 0.0% filters/statistics/src/main/java/de/learnlib/filter/statistic/learner/RefinementCounterLearner.java
Jobs
ID Job ID Ran Files Coverage
1 20198569605.1 584
94.91
Source Files on build 20198569605