cprover
path_storage.h File Reference

Storage of symbolic execution paths to resume. More...

#include "goto_symex_state.h"
#include "symex_target_equation.h"
#include <util/options.h>
#include <util/cmdline.h>
#include <util/ui_message.h>
#include <util/invariant.h>
#include <memory>
+ Include dependency graph for path_storage.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  path_storaget
 Storage for symbolic execution paths to be resumed later. More...
 
struct  path_storaget::patht
 Information saved at a conditional goto to resume execution. More...
 
class  path_lifot
 LIFO save queue: depth-first search, try to finish paths. More...
 
class  path_fifot
 FIFO save queue: paths are resumed in the order that they were saved. More...
 
class  path_strategy_choosert
 Factory and information for path_storaget. More...
 

Detailed Description

Storage of symbolic execution paths to resume.

Author
Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file path_storage.h.