Common.hpp File Reference

Go to the source code of this file.

Namespaces
namespace	wali
Typedefs
typedef Key	wali::wali_key_t
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 ()