1
65%
master: 65%

Ran 24 Jun 2025 03:57PM UTC

Files 486

Run time 19s

Badge

Committed 24 Jun 2025 03:48PM UTC coverage: 65.355% (-0.01%) from 65.369%

Build Type

push

github

Committed by

Commit Message

Mcsat partial restart (#577)

* mcsat partial restart

* more

* fix

* more fix

* minor

* format

* format

* partial restart stat

Run Details

81206 of 124254 relevant lines covered (65.35%)

1460815.69 hits per line