coverage property

int coverage
getter/setter pair

Implementation

int coverage;