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.