cprover
|
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>
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... | |
Storage of symbolic execution paths to resume.
Definition in file path_storage.h.