design statistics information More...

Public Member Functions
	DesignStatistics ()
	Constructor – reset all values to 0.

void	StoreToFile (const std::string &fn) const
	Save statistics to file.

void	LoadFromFile (const std::string &fn)
	Load statistics from file (checkpoints)

Public Attributes
unsigned	NumOfDesignStateVars
	the number of state variables

unsigned	NumOfDesignStateBits
	the total width of these variables

unsigned	NumOfExtraStateVars
	the number of extra (outside DUV) state variables

unsigned	NumOfExtraStateBits
	the total width of extra (outside DUV) variables

double	TimeOfEqCheck
	time for equivalence checking

double	TimeOfInvValidate
	time for validation of invariants

double	TimeOfInvProof
	time for z3 proving attempt

double	TimeOfInvSyn
	the synthesis time of invariants : chc

double	TimeOfInvSynEnhance
	the time for generalizing invariants

std::vector< double >	TimeOfInvSynSeries
	the series of time spent on each cegar iteration

double	TotalTime
	Total time.

Detailed Description

design statistics information

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

Public Member Functions