Gymbo

Classes | Namespaces | Functions
psymbolic.h File Reference

Implementation of symbolic execution for randomized programs. More...

`#include "symbolic.h"`
Include dependency graph for psymbolic.h:

Go to the source code of this file.

## Classes
struct | gymbo::PSExecutor
| Represents a derived class for symbolic execution engine for probabilistic programs. More...

## Namespaces
| gymbo

## Functions
void | gymbo::pbranch (SymState &state)
| Perform probabilistic branching based on symbolic execution. More...
void | gymbo::verbose_pconstraints (int verbose_level, bool is_unknown_path_constraint, bool is_target, bool is_sat, int pc, std::string constraints_str, SymState &state, const std::unordered_map< int, float > &params)
| Prints verbose information about probabilistic path constraints. More...
void | gymbo::update_prob_constraints_table (int pc, SymState &state, ProbPathConstraintsTable &prob_constraints_table)
| Updates the table of probabilistic path constraints. More...

## Detailed Description

Implementation of symbolic execution for randomized programs.

Author
  Hideaki Takahashi