cprover
Loading...
Searching...
No Matches
change_impact.cpp File Reference

Data and control-dependencies of syntactic diff. More...

#include "change_impact.h"
#include <iostream>
#include <goto-programs/goto_model.h>
#include <analyses/dependence_graph.h>
#include "unified_diff.h"
+ Include dependency graph for change_impact.cpp:

Go to the source code of this file.

Classes

class  change_impactt
 

Functions

void change_impact (const goto_modelt &model_old, const goto_modelt &model_new, impact_modet impact_mode, bool compact_output)
 

Detailed Description

Data and control-dependencies of syntactic diff.

Definition in file change_impact.cpp.

Function Documentation

◆ change_impact()

void change_impact ( const goto_modelt & model_old,
const goto_modelt & model_new,
impact_modet impact_mode,
bool compact_output )

Definition at line 756 of file change_impact.cpp.