Parse and annotate contracts. More...

#include "contracts_wrangler.h"
#include <util/c_types.h>
#include <util/expr_iterator.h>
#include <util/format_expr.h>
#include <util/pointer_expr.h>
#include <util/simplify_expr.h>
#include <util/std_types.h>
#include <goto-programs/remove_unused_functions.h>
#include <ansi-c/ansi_c_parser.h>
#include <ansi-c/ansi_c_typecheck.h>
#include <goto-instrument/contracts/utils.h>

Include dependency graph for contracts_wrangler.cpp:

Go to the source code of this file.

Detailed Description

Parse and annotate contracts.

Definition in file contracts_wrangler.cpp.