cprover
vcd_goto_trace.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Traces of GOTO Programs in VCD (Value Change Dump) Format
4
5
Author: Daniel Kroening
6
7
Date: June 2011
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
15
#define CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
16
17
#include <iosfwd>
18
19
#include <
util/namespace.h
>
20
21
#include "
goto_trace.h
"
22
23
void
output_vcd
(
24
const
namespacet
&ns,
25
const
goto_tracet
&goto_trace,
26
std::ostream &out);
27
28
#endif // CPROVER_GOTO_PROGRAMS_VCD_GOTO_TRACE_H
output_vcd
void output_vcd(const namespacet &ns, const goto_tracet &goto_trace, std::ostream &out)
Definition:
vcd_goto_trace.cpp:71
namespace.h
goto_trace.h
Traces of GOTO Programs.
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
goto_tracet
Trace of a GOTO program.
Definition:
goto_trace.h:171
goto-programs
vcd_goto_trace.h
Generated by
1.8.20