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, message_handlert &message_handler) |
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, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 758 of file change_impact.cpp.
