comp_cdd_cov_s Struct Reference

#include <defines.h>

---

Detailed Description

Compressed version of coverage information for a given CDD. This structure is used by the rank command for comparing coverages for ranking purposes.

Data Fields
char *	cdd_name
uint64	timesteps
uint64	total_cps
uint64	unique_cps
uint64	score
bool	required
ulong *	cps [CP_TYPE_NUM]
unsigned int	cps_index [CP_TYPE_NUM]

---

Field Documentation

char* comp_cdd_cov_s::cdd_name

Name of CDD that this coverage information is for

ulong* comp_cdd_cov_s::cps[CP_TYPE_NUM]

Compressed coverage points for each coverage metric

unsigned int comp_cdd_cov_s::cps_index[CP_TYPE_NUM]

Contains index of current bit to populate

bool comp_cdd_cov_s::required

Set to TRUE if this CDD is required to be in the ranked list by the user

uint64 comp_cdd_cov_s::score

Storage for current score

uint64 comp_cdd_cov_s::timesteps

Number of simulations timesteps stored in the CDD file

uint64 comp_cdd_cov_s::total_cps

Number of total coverage points this CDD file represents

uint64 comp_cdd_cov_s::unique_cps

Number of unique coverage points this CDD file represents

---

The documentation for this struct was generated from the following file:

• /Users/trevorw/projects/release/covered-0.7.4/src/defines.h

---