CBMC
|
Traces of GOTO Programs. More...
Go to the source code of this file.
Functions | |
void | convert (const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml) |
Traces of GOTO Programs.
Definition in file xml_goto_trace.h.
void convert | ( | const namespacet & | ns, |
const goto_tracet & | goto_trace, | ||
xmlt & | xml | ||
) |
Definition at line 91 of file xml_goto_trace.cpp.