13
94%
master: 94%

Ran 23 Jan 2025 05:31PM UTC

Files 23

Run time 13s

Badge

Committed 23 Jan 2025 04:51PM UTC coverage: 75.027% (+2.2%) from 72.802%

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

1508 of 2176 branches covered (69.3%)

Branch coverage included in aggregate %.

4663 of 6049 relevant lines covered (77.09%)

0.77 hits per line