16696694729
94%

Ran 02 Aug 2025 07:14PM UTC

Jobs 1

Files 530

Run time 3119min

Badge

Committed 02 Aug 2025 06:52PM UTC coverage: 94.289% (-0.09%) from 94.383%

Build Type

push

github

Committed by

Commit Message

add CLI membership oracles

closes #149

Run Details

111 of 131 new or added lines in 4 files covered. (84.73%)

12630 of 13395 relevant lines covered (94.29%)

1.72 hits per line

Lines	Coverage	File
4	88.24	oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/CLIOutputOracle.java
4	85.71	oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/StdInOutputOracle.java
6	83.33	oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/CLIOracle.java
6	81.82	oracles/membership-oracles/src/main/java/de/learnlib/oracle/membership/StdInOracle.java

ID	Job ID	Ran	Files	Coverage
1	16696694729.1	02 Aug 2025 07:14PM UTC	530	94.29