Searching protocol for "go vet"
Systematic test design finds more bugs with fewer tests, maximize efficiency.