symex_target_equation.cpp File Reference

Symbolic Execution Implementation of functions to build SSA equation. More...

#include "symex_target_equation.h"
#include <util/std_expr.h>
#include "solver_hardness.h"
#include "ssa_step.h"
#include <chrono>

Include dependency graph for symex_target_equation.cpp:

Go to the source code of this file.

Functions
static std::function< void(solver_hardnesst &)>	hardness_register_ssa (std::size_t step_index, const SSA_stept &step)

Detailed Description

Symbolic Execution Implementation of functions to build SSA equation.

Definition in file symex_target_equation.cpp.

Function Documentation

hardness_register_ssa()

static std::function<void(solver_hardnesst &)> hardness_register_ssa ( std::size_t  step_index, const SSA_stept &  step  )

static

Definition at line 23 of file symex_target_equation.cpp.