19556545386
94%
develop: 95%

Ran 21 Nov 2025 10:09AM UTC

Jobs 1

Files 530

Run time 1min

Badge

Committed 21 Nov 2025 01:10AM UTC coverage: 94.471%. First build

Build Type

github

Committed by

Commit Message

Merge d1e6e0721 into 7c236fec9

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

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

ID	Job ID	Ran	Files	Coverage
1	19556545386.1	21 Nov 2025 10:09AM UTC	530	94.47