1
92%
main: 92%

Ran 03 Jul 2023 10:14PM UTC

Files 388

Run time 4s

Badge

Committed 03 Jul 2023 09:50PM UTC coverage: 94.295% (-0.002%) from 94.297%

Build Type

push

github

Committed by

Commit Message

ImpliesAtom (#2352)

* Add implies

* tests

* address suggestions

* address suggestions

* address suggestions

Coverage Stats

6620 of 7242 branches covered (91.41%)

Branch coverage included in aggregate %.

12472 of 13005 relevant lines covered (95.9%)

35464.67 hits per line