Common.cpp File Reference

Namespaces
namespace	wali
Functions
std::ostream *	wali::set_wali_err (std::ostream *newErr)
	Sets error stream waliErr to param newErr.
std::ostream *	wali::setWaliErr (std::ostream *newErr)
void	wali::set_verify_fwpds (bool enable)
	Turn FWPDS verification on and off.
bool	wali::get_verify_fwpds ()
void	wali::set_lazy_fwpds (bool enable)
	Turn lazy weights on or off for FWPDS.
bool	wali::is_lazy_fwpds ()
void	wali::set_strict (bool enable)
	Enable or disable strictness on transition "to" states.
bool	wali::is_strict ()
Variables
std::ostream *	wali::waliErr = &std::cerr