cprover
show_program.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void show_program (const namespacet &ns, const symex_target_equationt &equation)
 Print the steps of equation on the standard output. More...
 

Detailed Description

Output of the program (SSA) constraints

Definition in file show_program.h.

Function Documentation

◆ show_program()

void show_program ( const namespacet ns,
const symex_target_equationt equation 
)

Print the steps of equation on the standard output.

For each step, prints the location, then if the step is an assignment, assertion, assume, constraint, shared read or shared write: prints an instruction counter, followed by the instruction type, and the current guard if it is not equal to true.

Parameters
nsnamespace
equationSSA form of the program

Definition at line 53 of file show_program.cpp.