cprover
Loading...
Searching...
No Matches
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.

Variables

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.

Variable Documentation

◆ hardness_register_ssa

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

Definition at line 23 of file symex_target_equation.cpp.