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, 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.