LearnLib / automatalib / 28013097648
93%
develop: 93%

LAST BUILD BRANCH: semantics
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 769
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.876% (-0.1%) from 93.007%
28013097648

Pull #103

github

web-flow 
Merge 1553bac46 into 87b9d660b
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.

17560 of 18907 relevant lines covered (92.88%)

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 28013097648.1 769
92.88
Source Files on build 28013097648