12 #ifndef CPROVER_GOTO_SYMEX_SHOW_PROGRAM_H 13 #define CPROVER_GOTO_SYMEX_SHOW_PROGRAM_H 20 #endif // CPROVER_GOTO_SYMEX_SHOW_PROGRAM_H Inheriting the interface of symex_targett this class represents the SSA form of the input program as ...
void show_program(const namespacet &ns, const symex_target_equationt &equation)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...