1
85%
master: 85%

Ran 13 Oct 2025 04:42PM UTC

Files 162

Run time 6s

Badge

Committed 13 Oct 2025 02:47PM UTC coverage: 84.578% (+0.02%) from 84.557%

Build Type

push

github

Committed by

Commit Message

Merge pull request #3358 from PrincetonUniversity/fix/pec_seed

Fix and improve RNG seeding in PEC.

Run Details

10212 of 13284 branches covered (76.87%)

Branch coverage included in aggregate %.

35301 of 40528 relevant lines covered (87.1%)

0.87 hits per line