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

#include "symbolic.h"

Include dependency graph for psymbolic.h:

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

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.

Classes