cprover
path_search.h File Reference

Path-based Symbolic Execution. More...

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.