19567340642
95%

Ran 21 Nov 2025 10:40AM UTC

Jobs 1

Files 530

Run time 2min

Badge

Embed ▾

Committed 21 Nov 2025 10:18AM UTC coverage: 94.471% (+0.2%) from 94.289%

Build # 19567340642

Build Type

push

github

Committed by

web-flow

Commit Message

Bump Java Version to 17/25 (#155)

* initial refactorings for Java 25 compatibility

spotbugs + pmd-plugin still need new releases that work on Java 25

* update CI config

* JDK builds pass

updates to the analysis plugins required some adjustments

* partially utilize Java 17 features

the benefit of records has not yet been looked at

* cleanups

Run Details

59 of 83 new or added lines in 25 files covered. (71.08%)

12611 of 13349 relevant lines covered (94.47%)

1.73 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
1	45.45	3.79%	commons/datastructures/src/main/java/de/learnlib/datastructure/discriminationtree/model/BooleanMap.java
1	98.86	0.0%	examples/src/main/java/de/learnlib/example/Example3.java
1	95.65	0.0%	examples/src/main/java/de/learnlib/example/aaar/AlternatingBitExampleExplicit.java
2	88.66	0.51%	algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithm/ttt/vpa/TTTLearnerVPA.java
3	64.29	8.04%	api/src/main/java/de/learnlib/query/OmegaQuery.java
3	76.47	2.18%	commons/counterexamples/src/main/java/de/learnlib/acex/AcexAnalyzers.java
6	72.5	3.45%	filters/reuse/src/main/java/de/learnlib/filter/reuse/tree/BoundedDeque.java
7	75.76	2.23%	algorithms/active/ttt-vpa/src/main/java/de/learnlib/algorithm/ttt/vpa/Splitter.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	19567340642.1	21 Nov 2025 10:40AM UTC	530	94.47

LearnLib / learnlib / 19567340642
95%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 19567340642

LearnLib / learnlib / 19567340642 95%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 19567340642

LearnLib / learnlib / 19567340642
95%

README BADGES
x