1
65%
main: 57%

Ran 26 Jul 2020 01:35PM UTC

Files 251

Run time 13s

Badge

Committed 26 Jul 2020 01:35PM UTC coverage: 63.979% (+0.3%) from 63.68%

Build Type

push

github

Committed by Antao Almada

Commit Message

Add for quantifier operators

Run Details

1747 of 3081 branches covered (56.7%)

5808 of 9078 relevant lines covered (63.98%)

88.69 hits per line