Loading...

Searching...

No Matches

goto_diff_base.cpp File Reference

GOTO-DIFF Base Class. More...

#include "goto_diff.h"
#include <util/json_irep.h>
#include <util/options.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/show_properties.h>

+ Include dependency graph for goto_diff_base.cpp:

[フレーム]

Go to the source code of this file.

Detailed Description

GOTO-DIFF Base Class.

Definition in file goto_diff_base.cpp.