3
97%
master: 97%

Ran 19 Aug 2019 05:21PM UTC

Files 76

Run time 9s

Badge

Committed 19 Aug 2019 05:15PM UTC coverage: 97.001%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Add section "Migrate from jsverify to fast-check" (#417)

Fixes #413

Run Details

495 of 535 branches covered (92.52%)

Branch coverage included in aggregate %.

1769 of 1799 relevant lines covered (98.33%)

228380.44 hits per line