#include <cec.h>

Public Attributes
int	fVerbose

int	fVeryVerbose

int	expId

int	bitwidthOutgold

int	nSimWords

int	nMaxIter

char *	outGold

float	timeOutSim

int	fUseWatchlist

float	fImplicationTime

int	nImplicationExecution

int	nImplicationSuccess

int	nImplicationTotalChecks

int	nImplicationSuccessChecks

char *	pFileName

Detailed Description

Definition at line 206 of file cec.h.

Member Data Documentation

◆ bitwidthOutgold

int Cec_ParSimGen_t_::bitwidthOutgold

Definition at line 211 of file cec.h.

◆ expId

int Cec_ParSimGen_t_::expId

Definition at line 210 of file cec.h.

◆ fImplicationTime

float Cec_ParSimGen_t_::fImplicationTime

Definition at line 217 of file cec.h.

◆ fUseWatchlist

int Cec_ParSimGen_t_::fUseWatchlist

Definition at line 216 of file cec.h.

◆ fVerbose

int Cec_ParSimGen_t_::fVerbose

Definition at line 208 of file cec.h.

◆ fVeryVerbose

int Cec_ParSimGen_t_::fVeryVerbose

Definition at line 209 of file cec.h.

◆ nImplicationExecution

int Cec_ParSimGen_t_::nImplicationExecution

Definition at line 218 of file cec.h.

◆ nImplicationSuccess

int Cec_ParSimGen_t_::nImplicationSuccess

Definition at line 219 of file cec.h.

◆ nImplicationSuccessChecks

int Cec_ParSimGen_t_::nImplicationSuccessChecks

Definition at line 221 of file cec.h.

◆ nImplicationTotalChecks

int Cec_ParSimGen_t_::nImplicationTotalChecks

Definition at line 220 of file cec.h.

◆ nMaxIter

int Cec_ParSimGen_t_::nMaxIter

Definition at line 213 of file cec.h.

◆ nSimWords

int Cec_ParSimGen_t_::nSimWords

Definition at line 212 of file cec.h.

◆ outGold

char* Cec_ParSimGen_t_::outGold

Definition at line 214 of file cec.h.

◆ pFileName

char* Cec_ParSimGen_t_::pFileName

Definition at line 222 of file cec.h.

◆ timeOutSim

float Cec_ParSimGen_t_::timeOutSim

Definition at line 215 of file cec.h.

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

src/proof/cec/cec.h

Public Attributes