cprover
|
Traces of GOTO Programs in VCD (Value Change Dump) Format. More...
Go to the source code of this file.
Functions | |
void | output_vcd (const namespacet &ns, const goto_tracet &goto_trace, std::ostream &out) |
Traces of GOTO Programs in VCD (Value Change Dump) Format.
Definition in file vcd_goto_trace.h.
void output_vcd | ( | const namespacet & | ns, |
const goto_tracet & | goto_trace, | ||
std::ostream & | out | ||
) |
Definition at line 72 of file vcd_goto_trace.cpp.
References as_vcd_binary(), goto_trace_stept::ASSIGNMENT, irept::id(), template_numberingt< Map >::number(), pointer_offset_bits(), and goto_tracet::steps.