ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
xml_goto_trace.h
Go to the documentation of this file.
1#ifndef CPROVER_GOTO_SYMEX_XML_GOTO_TRACE_H
2#define CPROVER_GOTO_SYMEX_XML_GOTO_TRACE_H
3
4#include <goto-symex/trace/goto_trace.h>
5#include <util/base/xml.h>
6
7void convert(const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml);
8
9#endif
goto_tracet
Definition goto_trace.h:93
namespacet
Definition namespace.h:10
xmlt
Definition xml.h:9
goto_trace.h
convert
void convert(const namespacet &ns, const goto_tracet &goto_trace, xmlt &xml)
Definition xml_goto_trace.cpp:8