CBMC
Public Attributes | List of all members
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: