1
93%
develop: 93%

Ran 02 Feb 2025 04:33PM UTC

Files 729

Run time 14s

Badge

Committed 02 Feb 2025 03:46PM UTC coverage: 92.108% (+0.1%) from 92.01%

Build Type

push

github

Committed by

Commit Message

provide some default methods for {Mutable,]ProbabilisticMealy

including tests

Run Details

16609 of 18032 relevant lines covered (92.11%)

1.7 hits per line