5
95%
master: 95%

Ran 22 Jun 2019 07:09AM UTC

Files 11

Run time 0s

Badge

Committed 22 Jun 2019 07:06AM UTC coverage: 93.761% (+0.7%) from 93.092%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #82 from zmitton/null-proof

Support for proofs of null/absence. Dried up prove/verify.

Run Details

223 of 258 branches covered (86.43%)

526 of 561 relevant lines covered (93.76%)

153.91 hits per line