1
92%
main: 92%

Ran 08 Sep 2023 03:06PM UTC

Files 13

Run time 0s

Badge

Committed 08 Sep 2023 03:05PM UTC coverage: 91.987% (+0.06%) from 91.931%

Build Type

push

github

Committed by

Commit Message

Merge pull request #709 from DanielXMoore/691

Fix #691: unary not with existential

Run Details

1634 of 1789 branches covered (0.0%)

Branch coverage included in aggregate %.

10983 of 11927 relevant lines covered (92.09%)

40900.94 hits per line