1
49%
main: 90%

Ran 02 Jul 2024 07:34AM UTC

Files 1034

Run time 29s

Badge

Committed 02 Jul 2024 07:29AM UTC coverage: 53.291%. First build

Build Type

push

github

Committed by

Commit Message

Set CounterfactualSafes as the only active dataType

Run Details

419 of 2610 branches covered (16.05%)

Branch coverage included in aggregate %.

8422 of 13980 relevant lines covered (60.24%)

6.57 hits per line