14 #ifndef CPROVER_GOTO_INSTRUMENT_CONTRACTS_LOOP_CONTRACT_CONFIG_H
15 #define CPROVER_GOTO_INSTRUMENT_CONTRACTS_LOOP_CONTRACT_CONFIG_H
33 result +=
"Apply loop contracts: ";
35 result +=
"Unwind transformed loops: ";
37 result +=
"Check side effect of loop contracts: ";
51 return !(
this == &rhs);
Loop contract configurations.
bool unwind_transformed_loops
bool apply_loop_contracts
std::string to_string() const
bool operator==(const loop_contract_configt &rhs) const
bool operator!=(const loop_contract_configt &rhs) const