tree 7cc985eaef32adc2582fcb14062a8457e9cead2d
parent 70f4133d789b2b64eb440361683f08dd6ee6a7a3
author Michael Ernst <mernst@alum.mit.edu> 1575905903 -0800
committer Gary Gregory <garydgregory@users.noreply.github.com> 1575905903 -0500

Improve documentation of Pass3bVerifier (#37)

* Improve documentation of Pass3bverifier.

* Use third person, not imperative, in Javadoc descriptions

* More third person

* Tweak documentation