A simple test that verifies adding coverages.
