Cobertura Example for CS340