Loop contract configurations.
More...
#include <loop_contract_config.h>
Loop contract configurations.
Definition at line 18 of file loop_contract_config.h.
◆ operator!=()
◆ operator==()
◆ to_string()
std::string loop_contract_configt::to_string |
( |
| ) |
const |
|
inline |
◆ apply_loop_contracts
bool loop_contract_configt::apply_loop_contracts = false |
◆ check_side_effect
bool loop_contract_configt::check_side_effect = true |
◆ unwind_transformed_loops
bool loop_contract_configt::unwind_transformed_loops = true |
The documentation for this struct was generated from the following file: