CBMC
Loading...
Searching...
No Matches
Classes | Functions
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

 

Detailed Description

Data and control-dependencies of syntactic diff.

Definition in file change_impact.cpp.

Function Documentation

◆  change_impact()

void change_impact ( const goto_modeltmodel_old,
const goto_modeltmodel_new,
impact_modet  impact_mode,
bool  compact_output,
message_handlertmessage_handler 
)

Definition at line 758 of file change_impact.cpp.

AltStyle によって変換されたページ (->オリジナル) /