cprover
goto_diff_base.cpp File Reference

GOTO-DIFF Base Class. More...

#include "goto_diff.h"
#include <util/json_expr.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.