Public Member Functions

std::string to_string () const

Public Attributes

Loop contract configurations.

Definition at line 18 of file loop_contract_config.h.

bool loop_contract_configt::operator!= ( const loop_contract_configt & rhs ) const

inline

Definition at line 49 of file loop_contract_config.h.

bool loop_contract_configt::operator== ( const loop_contract_configt & rhs ) const

inline

Definition at line 42 of file loop_contract_config.h.

std::string loop_contract_configt::to_string ( ) const

inline

Definition at line 30 of file loop_contract_config.h.

bool loop_contract_configt::apply_loop_contracts = false

Definition at line 22 of file loop_contract_config.h.

bool loop_contract_configt::check_side_effect = true

Definition at line 28 of file loop_contract_config.h.

bool loop_contract_configt::unwind_transformed_loops = true

Definition at line 25 of file loop_contract_config.h.

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

/home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/loop_contract_config.h