29937780095
93%

Ran 22 Jul 2026 04:41PM UTC

Jobs 1

Files 775

Run time 2min

Badge

Embed ▾

Committed 22 Jul 2026 04:23PM UTC coverage: 92.906% (-0.1%) from 93.041%

Build # 29937780095

Build Type

push

github

Committed by

web-flow

Commit Message

Distinguish between structural and semantic interpretations of automata (#103)

* initial experimentation

* cleanups

* integrate VPAs in new semantics + cleanup concepts

* consolidations

* add more tests

* final touches

* fix broken reference in JavaDoc

* fix PMD violation

* let {MMLT,SEVPA} implement SuffixOutput for convenience

* rename utility interfaces from FiniteSemantics to RegularAutomaton

* add RandomAutomata#randomDeterministic refinement for regular automata

* fix javadoc reference

Coverage Stats

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

5 existing lines in 2 files now uncovered.

17601 of 18945 relevant lines covered (92.91%)

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	29937780095.1	22 Jul 2026 04:41PM UTC	775	92.91

LearnLib / automatalib / 29937780095
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 29937780095

LearnLib / automatalib / 29937780095 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 29937780095

LearnLib / automatalib / 29937780095
93%

README BADGES
x