#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 753 of file change_impact.cpp.
