up the coverage requirements
Merge remote-tracking branch 'upstream/master' into logs
Commiting to fix bug in verify.