path_search.h File Reference

Path-based Symbolic Execution. More...

#include <util/time_stopping.h>
#include <util/expanding_vector.h>
#include <goto-programs/safety_checker.h>
#include <path-symex/path_symex_state.h>
#include <limits>

Include dependency graph for path_search.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	path_searcht
struct	path_searcht::property_entryt
struct	path_searcht::loc_datat

Detailed Description

Path-based Symbolic Execution.

Definition in file path_search.h.