goto_diff_base.cpp File Reference

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