SymExecCoreParams Struct Reference

#include <symproc.hh>

Public Member Functions
	SymExecCoreParams ()
	SymExecCoreParams (const GlConf::Options &)

Data Fields
bool	trackUninit
	enable/disable track_uninit mode
bool	oomSimulation
	enable/disable oom simulation mode
bool	skipPlot
	simply ignore all ___sl_plot* calls
std::string	errLabel
	if not empty, treat reaching the label as error

Detailed Description

Definition at line 196 of file symproc.hh.

Constructor & Destructor Documentation

SymExecCoreParams ( )

inline

Definition at line 202 of file symproc.hh.

SymExecCoreParams

(

const GlConf::Options &

)

Field Documentation

std::string errLabel

if not empty, treat reaching the label as error

Definition at line 200 of file symproc.hh.

bool oomSimulation

enable/disable oom simulation mode

Definition at line 198 of file symproc.hh.

bool skipPlot

simply ignore all ___sl_plot* calls

Definition at line 199 of file symproc.hh.

bool trackUninit

enable/disable track_uninit mode

Definition at line 197 of file symproc.hh.

---

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

• symproc.hh