c_wranglert::functiont Struct Reference

Collaboration diagram for c_wranglert::functiont:

Public Attributes
std::vector< function_contract_clauset >	function_contract
std::vector< loop_contract_clauset >	loop_contract
std::vector< assertiont >	assertions
std::optional< std::string >	stub
bool	remove_static = false

Detailed Description

Definition at line 78 of file c_wrangler.cpp.

Member Data Documentation

assertions

std::vector<assertiont> c_wranglert::functiont::assertions

Definition at line 83 of file c_wrangler.cpp.

function_contract

std::vector<function_contract_clauset> c_wranglert::functiont::function_contract

Definition at line 81 of file c_wrangler.cpp.

loop_contract

std::vector<loop_contract_clauset> c_wranglert::functiont::loop_contract

Definition at line 82 of file c_wrangler.cpp.

remove_static

bool c_wranglert::functiont::remove_static = false

Definition at line 85 of file c_wrangler.cpp.

stub

std::optional<std::string> c_wranglert::functiont::stub

Definition at line 84 of file c_wrangler.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/crangler/c_wrangler.cpp