14 #ifndef CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
15 #define CPROVER_GOTO_PROGRAMS_XML_GOTO_TRACE_H
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
void convert(const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml)