LearnLib / automatalib / 29423381876
93%
develop: 93%

LAST BUILD BRANCH: semantics
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 773
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: 92.898% (-0.1%) from 93.029%
29423381876

Pull #103

github

web-flow 
Merge 4f79219ab into b68d5cf70
Pull Request #103: Distinguish between structural and semantic interpretations of automata

268 of 313 new or added lines in 46 files covered. (85.62%)

5 existing lines in 2 files now uncovered.

17593 of 18938 relevant lines covered (92.9%)

1.72 hits per line

Uncovered Changes

Lines Coverage ∆ File
16
50.0
 -12.5% util/src/main/java/net/automatalib/util/automaton/vpa/ProductOneSEVPA.java
14
12.5
 -87.5% api/src/main/java/net/automatalib/automaton/vpa/SEVPA.java
4
75.0
 -25.0% api/src/main/java/net/automatalib/automaton/abstraction/DeterministicAbstractions.java
4
93.44
 core/src/main/java/net/automatalib/automaton/impl/CompactTransitionOutput.java
2
98.37
 0.0% util/src/main/java/net/automatalib/util/automaton/procedural/NSEVPAConverter.java
2
91.94
 -0.33% util/src/main/java/net/automatalib/util/automaton/vpa/OneSEVPAs.java
1
95.65
 api/src/main/java/net/automatalib/automaton/vpa/SEVPASemantics.java
1
85.71
 core/src/main/java/net/automatalib/automaton/impl/UniversalCompactDetAutomaton.java
1
85.92
 0.0% util/src/main/java/net/automatalib/util/automaton/minimizer/HopcroftMinimizer.java

Coverage Regressions

Lines Coverage ∆ File
3
85.92
 0.0% util/src/main/java/net/automatalib/util/automaton/minimizer/HopcroftMinimizer.java
2
72.22
 -18.69% core/src/main/java/net/automatalib/automaton/transducer/impl/CompactMealy.java
Jobs
ID Job ID Ran Files Coverage
1 29423381876.1 773
92.9
Source Files on build 29423381876