LearnLib / automatalib / 6673214172
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 700
Run time 36s
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: 89.166% (-0.6%) from 89.796%
6673214172

push

github

mtf90 
cleanup release configuration

15399 of 17270 relevant lines covered (89.17%)

1.67 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
0.0
 -100.0% api/src/main/java/net/automatalib/graph/ads/ADSNode.java
1
56.25
 -6.25% core/src/main/java/net/automatalib/graph/ads/impl/AbstractRecursiveADSLeafNode.java
1
68.75
 -6.25% core/src/main/java/net/automatalib/graph/ads/impl/AbstractRecursiveADSSymbolNode.java
1
87.88
 -3.03% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/monitor/AbstractLTSminMonitorMealy.java
1
66.67
 -16.67% modelchecking/m3c/src/main/java/net/automatalib/modelchecker/m3c/solver/M3CSolvers.java
3
85.71
 -7.14% adapters/brics/src/main/java/net/automatalib/brics/AbstractBricsAutomaton.java
4
0.0
 -100.0% adapters/brics/src/main/java/net/automatalib/brics/BricsNFA.java
5
0.0
 -20.83% adapters/brics/src/main/java/net/automatalib/brics/BricsTransitionProperty.java
6
58.0
 -12.0% core/src/main/java/net/automatalib/visualization/Visualization.java
14
71.43
 -28.57% api/src/main/java/net/automatalib/automaton/vpa/SEVPAGraphView.java
16
0.0
 -100.0% adapters/brics/src/main/java/net/automatalib/brics/BricsVisualizationHelper.java
23
0.0
 -95.83% api/src/main/java/net/automatalib/graph/ads/RecursiveADSNode.java
Jobs
ID Job ID Ran Files Coverage
1 6673214172.1 700
89.17
Source Files on build 6673214172