comp_cdd_cov_s Struct Reference

#include <defines.h>

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]

---

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.

---

Field Documentation

char* comp_cdd_cov_s::cdd_name

Name of CDD that this coverage information is for

Referenced by rank_create_comp_cdd_cov(), and rank_dealloc_comp_cdd_cov().

ulong* comp_cdd_cov_s::cps[CP_TYPE_NUM]

Compressed coverage points for each coverage metric

Referenced by rank_create_comp_cdd_cov(), rank_dealloc_comp_cdd_cov(), rank_gather_comb_cov(), rank_gather_expression_cov(), rank_gather_fsm_cov(), and rank_gather_signal_cov().

unsigned int comp_cdd_cov_s::cps_index[CP_TYPE_NUM]

Contains index of current bit to populate

Referenced by rank_create_comp_cdd_cov(), rank_gather_comb_cov(), rank_gather_expression_cov(), rank_gather_fsm_cov(), and rank_gather_signal_cov().

bool comp_cdd_cov_s::required

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

Referenced by rank_create_comp_cdd_cov().

uint64 comp_cdd_cov_s::score

Storage for current score

Referenced by rank_perform_weighted_selection().

uint64 comp_cdd_cov_s::timesteps

Number of simulations timesteps stored in the CDD file

Referenced by rank_create_comp_cdd_cov(), and rank_output().

uint64 comp_cdd_cov_s::total_cps

Number of total coverage points this CDD file represents

Referenced by rank_create_comp_cdd_cov(), and rank_perform().

uint64 comp_cdd_cov_s::unique_cps

Number of unique coverage points this CDD file represents

Referenced by rank_create_comp_cdd_cov(), rank_output(), rank_perform(), rank_perform_greedy_sort(), and rank_selected_cdd_cov().

---

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

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