Better code coverage from specs