16 bool apply_loop_contracts,
17 bool unwind_transformed_loops)
19 if(apply_loop_contracts)
21 if(unwind_transformed_loops)
42 return "dfcc_loop_contract_modet::NONE";
44 return "dfcc_loop_contract_modet::APPLY";
46 return "dfcc_loop_contract_modet::APPLY_UNWIND";
std::ostream & operator<<(std::ostream &os, const dfcc_loop_contract_modet mode)
std::string dfcc_loop_contract_mode_to_string(const dfcc_loop_contract_modet mode)
dfcc_loop_contract_modet dfcc_loop_contract_mode_from_bools(bool apply_loop_contracts, bool unwind_transformed_loops)
Generates an enum value from boolean flags for application and unwinding.
Enumeration representing the instrumentation mode for loop contracts.
dfcc_loop_contract_modet
Enumeration representing the instrumentation mode for loop contracts.
@ APPLY
Apply loop contracts.
@ NONE
Do not apply loop contracts.
@ APPLY_UNWIND
Apply loop contracts and unwind the resulting base + step encoding.
#define UNREACHABLE
This should be used to mark dead code.