1
98%
master: 100%

Ran 03 Jun 2025 04:20PM UTC

Files 31

Run time 351min

Badge

Committed 03 Jun 2025 04:19PM UTC coverage: 99.613% (+0.001%) from 99.612%

Build Type

push

github

Committed by

Commit Message

Fix small bug in minifying partial DFAs (#258)

* Fix small bug

* Move comment

Run Details

1307 of 1322 branches covered (98.87%)

2830 of 2841 relevant lines covered (99.61%)

1.0 hits per line