LearnLib / automatalib / 12651580329
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 727
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: 91.569% (+0.03%) from 91.542%

New Missed Lines in Diff

Lines Coverage ∆ File
1
71.43
 2.46% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/AbstractSmartCollection.java
1
65.71
 -0.5% commons/util/src/main/java/net/automatalib/common/util/lib/LibLoader.java
1
90.38
 -0.52% incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalPCDFATreeBuilder.java
1
93.33
 0.0% util/src/main/java/net/automatalib/util/automaton/conformance/WMethodTestsIterator.java
2
66.67
 5.13% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/BackedGeneralPriorityQueue.java
2
30.77
 1.14% commons/util/src/main/java/net/automatalib/common/util/array/ArrayStorage.java
2
62.34
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/AbstractLTSmin.java
2
96.4
 -1.73% util/src/main/java/net/automatalib/util/automaton/fsa/NFAs.java
2
55.56
 0.0% util/src/main/java/net/automatalib/util/automaton/random/RandomICAutomatonGenerator.java
2
84.35
 1.59% util/src/main/java/net/automatalib/util/graph/traversal/GraphTraversal.java
2
88.5
 1.65% util/src/main/java/net/automatalib/util/ts/traversal/TSTraversal.java
3
83.93
 -2.74% core/src/main/java/net/automatalib/modelchecking/impl/AbstractLasso.java
4
0.0
 0.0% commons/util/src/main/java/net/automatalib/common/util/function/FunctionsUtil.java

Uncovered Existing Lines

Lines Coverage ∆ File
1
65.71
 -0.5% commons/util/src/main/java/net/automatalib/common/util/lib/LibLoader.java
1
71.05
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/LTSminUtil.java
1
66.67
 5.13% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/BackedGeneralPriorityQueue.java
1
96.15
 0.0% incremental/src/main/java/net/automatalib/incremental/dfa/dag/IncrementalPCDFADAGBuilder.java
Jobs
ID Job ID Ran Files Coverage
1 12651580329.1 727
91.57
Source Files on build 12651580329