20 return "dfcc_contract_modet::CHECK";
22 return "dfcc_contract_modet::REPLACE";
std::ostream & operator<<(std::ostream &os, const dfcc_contract_modet mode)
std::string dfcc_contract_mode_to_string(const dfcc_contract_modet mode)
Enum type representing the contract checking and replacement modes.
dfcc_contract_modet
Enum type representing the contract checking and replacement modes.
#define UNREACHABLE
This should be used to mark dead code.