cprover
path_symex.h File Reference

Concrete Symbolic Transformer. More...

#include "path_symex_state.h"
Include dependency graph for path_symex.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void path_symex (path_symex_statet &state, std::list< path_symex_statet > &further_states)
 
void path_symex (path_symex_statet &state)
 
void path_symex_goto (path_symex_statet &state, bool taken)
 
void path_symex_assert_fail (path_symex_statet &state)
 

Detailed Description

Concrete Symbolic Transformer.

Definition in file path_symex.h.

Function Documentation

◆ path_symex() [1/2]

void path_symex ( path_symex_statet state,
std::list< path_symex_statet > &  further_states 
)

◆ path_symex() [2/2]

void path_symex ( path_symex_statet state)

Definition at line 1121 of file path_symex.cpp.

References path_symex().

◆ path_symex_assert_fail()

void path_symex_assert_fail ( path_symex_statet state)

Definition at line 1135 of file path_symex.cpp.

References path_symex().

◆ path_symex_goto()

void path_symex_goto ( path_symex_statet state,
bool  taken 
)

Definition at line 1127 of file path_symex.cpp.

References path_symex().