1
91%
master: 91%

Ran 04 Aug 2024 03:39PM UTC

Files 24

Run time 2s

Badge

Committed 04 Aug 2024 03:37PM UTC coverage: 87.924% (+0.07%) from 87.854%

Build Type

push

github

Committed by

Commit Message

Added set.Find (#18)

* Added set.Exists and set.Forall methods

* Replaced `Exists`/`Forall` with new `Find` method in `set`

Run Details

1063 of 1209 relevant lines covered (87.92%)

1.04 hits per line