LearnLib / automatalib / 12459117572
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 726
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: 91.532% (+0.3%) from 91.183%
12459117572

push

github

mtf90 
cleanups

as reported by IntelliJ's analysis

4 of 17 new or added lines in 10 files covered. (23.53%)

9 existing lines in 3 files now uncovered.

16581 of 18115 relevant lines covered (91.53%)

1.69 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
71.05
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/LTSminUtil.java
1
85.0
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/ltl/AbstractLTSminLTLMealy.java
1
80.0
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/ltl/LTSminLTLDFA.java
1
90.91
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/monitor/AbstractLTSminMonitorMealy.java
1
84.21
 0.0% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/monitor/LTSminMonitorDFA.java
8
62.34
 -1.66% modelchecking/ltsmin/src/main/java/net/automatalib/modelchecker/ltsmin/AbstractLTSmin.java

Uncovered Existing Lines

Lines Coverage ∆ File
2
89.74
 0.0% util/src/main/java/net/automatalib/util/minimizer/State.java
3
90.07
 12.93% commons/smartcollections/src/main/java/net/automatalib/common/smartcollection/BinaryHeap.java
4
82.18
 0.0% commons/util/src/main/java/net/automatalib/common/util/string/StringUtil.java
Jobs
ID Job ID Ran Files Coverage
1 12459117572.1 726
91.53
Source Files on build 12459117572