6654683895
93%

Ran 26 Oct 2023 01:37PM UTC

Jobs 1

Files 714

Run time 42s

Badge

Committed 26 Oct 2023 01:15PM UTC coverage: 89.683% (+0.3%) from 89.4%

Build Type

push

github

Committed by

Commit Message

util: handle some more corner-cases in equivalence checks

Run Details

8 of 8 new or added lines in 1 file covered. (100.0%)

15830 of 17651 relevant lines covered (89.68%)

1.66 hits per line

Lines	Coverage	∆	File
2	98.17	0.97%	incremental/src/main/java/net/automatalib/incremental/dfa/tree/IncrementalDFATreeBuilder.java
3	82.61	3.44%	incremental/src/main/java/net/automatalib/incremental/dfa/AbstractIncrementalDFABuilder.java

ID	Job ID	Ran	Files	Coverage
1	6654683895.1	26 Oct 2023 01:37PM UTC	714	89.68