16
94%
master: 94%

Ran 23 Jan 2025 05:31PM UTC

Files 23

Run time 12s

Badge

Committed 23 Jan 2025 04:51PM UTC coverage: 94.395% (+2.0%) from 92.416%

Build Type

push

github

Committed by

Commit Message

Merge pull request #984 from tlsfuzzer/uncommon-settings-for-marvin

make the Marvin ciphertext generation work with uncommon settings

Run Details

2413 of 2646 branches covered (91.19%)

Branch coverage included in aggregate %.

5772 of 6025 relevant lines covered (95.8%)

0.96 hits per line