LearnLib / automatalib / 29622048893
93%
develop: 93%

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

Pull #103

github

web-flow 
Merge 8e66953a6 into edbbaaaa4
Pull Request #103: Distinguish between structural and semantic interpretations of automata

283 of 329 new or added lines in 48 files covered. (86.02%)

5 existing lines in 2 files now uncovered.

17595 of 18939 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
15
11.76
 -88.24% 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 29622048893.1 773
92.9
Source Files on build 29622048893