witness.cpp File Reference

#include <goto-symex/engine/goto_symex.h>
#include <goto-symex/waypoint.h>
#include <util/arith/arith_tools.h>
#include <util/expr/expr_util.h>
#include <util/message/message.h>
#include <util/base/prefix.h>
#include <irep2/irep2.h>

Include dependency graph for witness.cpp:

Functions
static void	substitute_result (expr2tc &e, const expr2tc &ret_val)

Function Documentation

substitute_result()

void substitute_result ( expr2tc & e, const expr2tc & ret_val )

static