1
65%
master: 65%

Ran 15 Jun 2025 08:59AM UTC

Files 486

Run time 15s

Badge

Committed 15 Jun 2025 08:49AM UTC coverage: 65.373% (+0.003%) from 65.37%

Build Type

github

Committed by

Commit Message

use parameters for setting randomness in mcsat

Run Details

81197 of 124206 relevant lines covered (65.37%)

1461595.36 hits per line