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