c_wranglert::objectt Struct Reference

Public Attributes
bool	remove_static = false

Detailed Description

Definition at line 91 of file c_wrangler.cpp.

Member Data Documentation

remove_static

bool c_wranglert::objectt::remove_static = false

Definition at line 93 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