here, you need to store the coverage from given spec (in some global var or something).