LearnLib / learnlib / 6412002873
95%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 492
Run time 6s
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.303% (+0.02%) from 92.282%
6412002873

push

github

mtf90 
further tweak versions

* downgrade maven-javadoc-plugin version because it (for whatever reason) doesn't work on Java 11+
* update previously missed doc skin version

11573 of 12538 relevant lines covered (92.3%)

1.67 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
98.48
 0.0% oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/AbstractSULOmegaOracle.java
2
86.67
 0.0% oracles/property-oracles/src/main/java/de/learnlib/oracle/property/AbstractPropertyOracle.java
3
95.6
 0.0% algorithms/active/adt/src/main/java/de/learnlib/algorithms/adt/ads/DefensiveADS.java
3
93.33
 1.23% oracles/filters/cache/src/main/java/de/learnlib/filter/cache/sul/AbstractSULCache.java
13
48.39
 0.0% oracles/property-oracles/src/main/java/de/learnlib/oracle/property/PropertyOracleChain.java
Jobs
ID Job ID Ran Files Coverage
1 6412002873.1 492
92.3
Source Files on build 6412002873