8
98%
master: 98%

Ran 04 Jan 2020 03:14PM UTC

Files 23

Run time 2s

Badge

Committed 04 Jan 2020 03:08PM UTC coverage: 97.909%. First build

Build Type

push

travis-ci

Committed by

Commit Message

Implement "to have properties satisfying" assertion.

Run Details

1857 of 1953 branches covered (95.08%)

3324 of 3395 relevant lines covered (97.91%)

3086.73 hits per line