Only do code-coverage reports for the src/ dir.
Finish tests for Definition class.