12 #ifndef CPROVER_GOTO_INSTRUMENT_DUMP_C_H 13 #define CPROVER_GOTO_INSTRUMENT_DUMP_C_H 19 const bool use_system_headers,
20 const bool use_all_headers,
21 const bool include_harness,
27 const bool use_system_headers,
28 const bool use_all_headers,
29 const bool include_harness,
33 #endif // CPROVER_GOTO_INSTRUMENT_DUMP_C_H Goto Programs with Functions.
void dump_c(const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
A collection of goto functions.
void dump_cpp(const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)